Commit f7647d77 authored by giannozz's avatar giannozz

The "configure" script is supposed to do a "make clean" except with -s option

but the clean had been commented out in a previous erroneous commit 

git-svn-id: c92efa57-630b-4861-b058-cf58834340f0
parent 15215e22
......@@ -62,7 +62,7 @@ test -e ./install/configure.msg && rm ./install/configure.msg
if [[ ($1 =~ "--save") ]] ; then
elif [[ (-e && (-e Makefile) ]] ; then
echo make -f Makefile veryclean
make -f Makefile veryclean
./install/configure "$@"
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment