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