remove -p option, separate setting available
authorkleing
Mon Jun 02 15:02:31 2003 +0200 (2003-06-02)
changeset 14056f8ed8428b41c
parent 14055 a3f592e3f4bd
child 14057 57de6d68389e
remove -p option, separate setting available
build
     1.1 --- a/build	Mon Jun 02 11:17:52 2003 +0200
     1.2 +++ b/build	Mon Jun 02 15:02:31 2003 +0200
     1.3 @@ -56,7 +56,6 @@
     1.4  ALL=""
     1.5  BATCH=""
     1.6  TARGETS=""
     1.7 -MAKEFLAGS=""
     1.8  
     1.9  while getopts "abim:p:t" OPT
    1.10  do
    1.11 @@ -76,9 +75,6 @@
    1.12      t)
    1.13        TARGETS="$TARGETS test"
    1.14        ;;
    1.15 -    p)
    1.16 -      MAKEFLAGS="$MAKEFLAGS HOL_PROOF_OBJECTS=-p $OPTARG"
    1.17 -      ;;
    1.18      \?)
    1.19        usage
    1.20        ;;
    1.21 @@ -172,7 +168,7 @@
    1.22  
    1.23  for L in $MAKE_LOGICS
    1.24  do
    1.25 -  ( cd "$ISABELLE_HOME/src/$L"; "$ISATOOL" make "$MAKEFLAGS" $TARGETS )
    1.26 +  ( cd "$ISABELLE_HOME/src/$L"; "$ISATOOL" make $TARGETS )
    1.27  done
    1.28  
    1.29  echo -n "Finished at "; date