configure
changeset 4009 6be8ddb86fbc
parent 3408 1da501b2eae1
child 4094 333c7cf842a7
--- a/configure	Sat Jun 10 20:08:19 2006 +0000
+++ b/configure	Sat Jun 10 20:11:02 2006 +0000
@@ -262,10 +262,7 @@
 fi
 
 # First remove the Makefile.config, else you can have double entries
-if test -e "Makefile.config"
-then
-	rm -f Makefile.config
-fi
+rm -f Makefile.config
 
 echo "make upgradeconf $PARAM" > Makefile.run
 . Makefile.run