build
changeset 2918 0305b0acba78
parent 2914 01d24f98528f
child 2936 bd33e7aae062
     1.1 --- a/build	Fri Apr 04 19:11:19 1997 +0200
     1.2 +++ b/build	Mon Apr 07 14:53:08 1997 +0200
     1.3 @@ -24,6 +24,7 @@
     1.4    echo "  Options are:"
     1.5    echo "    -a           all logics"
     1.6    echo "    -b           batch mode"
     1.7 +  echo "    -t           run tests"
     1.8    echo
     1.9    echo "  Compile the named LOGICS (default $DEFAULT_LOGIC), or all object logics"
    1.10    echo "  in the distribution."
    1.11 @@ -44,8 +45,9 @@
    1.12  
    1.13  ALL=""
    1.14  BATCH=""
    1.15 +TEST=""
    1.16  
    1.17 -while getopts "ab" OPT
    1.18 +while getopts "abt" OPT
    1.19  do
    1.20    case "$OPT" in
    1.21      a)
    1.22 @@ -54,6 +56,9 @@
    1.23      b)
    1.24        BATCH=true
    1.25        ;;
    1.26 +    t)
    1.27 +      TEST=test
    1.28 +      ;;
    1.29      \?)
    1.30        usage
    1.31        ;;
    1.32 @@ -143,7 +148,7 @@
    1.33  
    1.34  for L in $LOGICS
    1.35  do
    1.36 -  ( cd $ISABELLE_HOME/src/$L; $ISATOOL make )
    1.37 +  ( cd $ISABELLE_HOME/src/$L; $ISATOOL make $TEST )
    1.38  done
    1.39  
    1.40  echo