diff -r b7ee5af0b85f -r 6be8ddb86fbc configure --- 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