diff -r a3f592e3f4bd -r f8ed8428b41c build
--- 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