fi

if ! test -z "$DEBUG_SET"

then

	if test -z "`echo $PARAM | grep "DEBUG="`"

	then

		# Someone did --debug, without assigning a value, assume 1

		PARAM="$PARAM DEBUG=1"

	fi

fi

# First remove the Makefile.config, else you can have double entries

echo "make upgradeconf $PARAM" > Makefile.run

. Makefile.run

rm -f Makefile.run

# Makefile.config currently doesn't support custom CXX, so, we add the line

#  ourself!

if ! test -z "$TARGET_CXX"

then

	echo "CXX=$TARGET_CXX" >> Makefile.config

fi