# HG changeset patch
# User wenzelm
# Date 860417588 -7200
# Node ID 0305b0acba78bca18b81cf4389b02c9942c81ba1
# Parent  c7411fce37e4b0025b11d205eef577c7faeef8aa
added -t (run tests) option;

diff -r c7411fce37e4 -r 0305b0acba78 build
--- a/build	Fri Apr 04 19:11:19 1997 +0200
+++ b/build	Mon Apr 07 14:53:08 1997 +0200
@@ -24,6 +24,7 @@
   echo "  Options are:"
   echo "    -a           all logics"
   echo "    -b           batch mode"
+  echo "    -t           run tests"
   echo
   echo "  Compile the named LOGICS (default $DEFAULT_LOGIC), or all object logics"
   echo "  in the distribution."
@@ -44,8 +45,9 @@
 
 ALL=""
 BATCH=""
+TEST=""
 
-while getopts "ab" OPT
+while getopts "abt" OPT
 do
   case "$OPT" in
     a)
@@ -54,6 +56,9 @@
     b)
       BATCH=true
       ;;
+    t)
+      TEST=test
+      ;;
     \?)
       usage
       ;;
@@ -143,7 +148,7 @@
 
 for L in $LOGICS
 do
-  ( cd $ISABELLE_HOME/src/$L; $ISATOOL make )
+  ( cd $ISABELLE_HOME/src/$L; $ISATOOL make $TEST )
 done
 
 echo