Fix the 'make clean' part: one needs to specify -fMakefile, so that we are

sure that no other makefile can be used.
2008-03-11 09:32:15 +00:00
parent 7508e50901
commit 81e9f4c166
1 changed files with 1 additions and 1 deletions
@@ -116,7 +116,7 @@ compile_and_run()
    fi
  fi

-  eval "make clean > /dev/null 2>&1 "
+  make -fMakefile clean
 }

 EOF