diff -r 8a2c8f762837 -r c2d981d222bf build
--- a/build	Tue May 20 11:52:42 2003 +0200
+++ b/build	Fri May 23 17:18:10 2003 +0200
@@ -56,8 +56,9 @@
 ALL=""
 BATCH=""
 TARGETS=""
+MAKEFLAGS=""
 
-while getopts "abim:t" OPT
+while getopts "abim:p:t" OPT
 do
   case "$OPT" in
     a)
@@ -75,6 +76,9 @@
     t)
       TARGETS="$TARGETS test"
       ;;
+    p)
+      MAKEFLAGS="$MAKEFLAGS HOL_PROOF_OBJECTS=-p $OPTARG"
+      ;;
     \?)
       usage
       ;;
@@ -168,7 +172,7 @@
 
 for L in $MAKE_LOGICS
 do
-  ( cd "$ISABELLE_HOME/src/$L"; "$ISATOOL" make $TARGETS )
+  ( cd "$ISABELLE_HOME/src/$L"; "$ISATOOL" make "$MAKEFLAGS" $TARGETS )
 done
 
 echo -n "Finished at "; date