--- a/build Mon Jun 02 11:17:52 2003 +0200
+++ b/build Mon Jun 02 15:02:31 2003 +0200
@@ -56,7 +56,6 @@
ALL=""
BATCH=""
TARGETS=""
-MAKEFLAGS=""
while getopts "abim:p:t" OPT
do
@@ -76,9 +75,6 @@
t)
TARGETS="$TARGETS test"
;;
- p)
- MAKEFLAGS="$MAKEFLAGS HOL_PROOF_OBJECTS=-p $OPTARG"
- ;;
\?)
usage
;;
@@ -172,7 +168,7 @@
for L in $MAKE_LOGICS
do
- ( cd "$ISABELLE_HOME/src/$L"; "$ISATOOL" make "$MAKEFLAGS" $TARGETS )
+ ( cd "$ISABELLE_HOME/src/$L"; "$ISATOOL" make $TARGETS )
done
echo -n "Finished at "; date