echo ""
echo "This script will attempt to configure this installation"
echo "for your system..."
if [ "$1" != "" ]
then
	echo "Using" $1 "..."
	./gdt-conf.sh $1
else
	echo ""
	echo "You must specify which compiler to use,"
	echo "e.g., './configure gcc'"
fi
