1.1 --- a/build Mon Jun 02 11:17:52 2003 +0200
1.2 +++ b/build Mon Jun 02 15:02:31 2003 +0200
1.3 @@ -56,7 +56,6 @@
1.4 ALL=""
1.5 BATCH=""
1.6 TARGETS=""
1.7 -MAKEFLAGS=""
1.8
1.9 while getopts "abim:p:t" OPT
1.10 do
1.11 @@ -76,9 +75,6 @@
1.12 t)
1.13 TARGETS="$TARGETS test"
1.14 ;;
1.15 - p)
1.16 - MAKEFLAGS="$MAKEFLAGS HOL_PROOF_OBJECTS=-p $OPTARG"
1.17 - ;;
1.18 \?)
1.19 usage
1.20 ;;
1.21 @@ -172,7 +168,7 @@
1.22
1.23 for L in $MAKE_LOGICS
1.24 do
1.25 - ( cd "$ISABELLE_HOME/src/$L"; "$ISATOOL" make "$MAKEFLAGS" $TARGETS )
1.26 + ( cd "$ISABELLE_HOME/src/$L"; "$ISATOOL" make $TARGETS )
1.27 done
1.28
1.29 echo -n "Finished at "; date