changeset 4009 | 16c7ad34af62 |
parent 3408 | 313f35564673 |
child 4094 | a83fac319c4e |
--- 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