configure
changeset 3199 c5ac6b7f6ef6
parent 3198 54e4474378f7
child 3200 faafc2eb520f
--- a/configure	Tue Mar 14 19:12:39 2006 +0000
+++ b/configure	Tue Mar 14 19:15:46 2006 +0000
@@ -217,5 +217,8 @@
 # Makefile.config currently doesn't support custom CXX, so, we add the line
 #  ourself!
 
-echo "CXX=$TARGET_CXX" >> Makefile.config
+if ! test -z "$TARGET_CXX"
+then
+	echo "CXX=$TARGET_CXX" >> Makefile.config
+fi