diff -r db63752140c7 -r e17fb80b3ce1 build
--- a/build	Mon Feb 08 13:02:56 1999 +0100
+++ b/build	Mon Feb 08 15:53:56 1999 +0100
@@ -29,7 +29,8 @@
   echo "  Options are:"
   echo "    -a           all logics"
   echo "    -b           batch mode"
-  echo "    -t           run tests"
+  echo "    -i           make images"
+  echo "    -t           make test"
   echo
   echo "  Compile the named LOGICS (default $ISABELLE_LOGIC), or all object logics"
   echo "  in the distribution."
@@ -50,9 +51,10 @@
 
 ALL=""
 BATCH=""
+IMAGES=""
 TEST=""
 
-while getopts "abt" OPT
+while getopts "abit" OPT
 do
   case "$OPT" in
     a)
@@ -61,6 +63,9 @@
     b)
       BATCH=true
       ;;
+    i)
+      IMAGES=images
+      ;;
     t)
       TEST=test
       ;;
@@ -155,7 +160,7 @@
 
 for L in $MAKE_LOGICS
 do
-  ( cd $ISABELLE_HOME/src/$L; $ISATOOL make images $TEST )
+  ( cd $ISABELLE_HOME/src/$L; $ISATOOL make $IMAGES $TEST )
 done
 
 echo -n "Finished at "; date