-case $CONFIG in
+case $CONFIGDOTSH in
'')
if test -f config.sh; then TOP=.;
elif test -f ../config.sh; then TOP=..;
ccflags="`echo $ccflags | sed -e 's/-DMULTIPLICITY//'`"
- echo "$cc -c $ccflags $optimize $large $split"
- eval "$also "'"$cc -c $ccflags $optimize $large $split"'
+ echo "$cc -c $ccflags $optimize"
+ eval "$also "'"$cc -c $ccflags $optimize"'
. $TOP/config.sh