Admin/build
changeset 43280 e5dd0ae1b054
parent 34876 b52e03f68cc3
child 43521 d477b92109b8
     1.1 --- a/Admin/build	Wed Jun 08 16:19:22 2011 +0200
     1.2 +++ b/Admin/build	Wed Jun 08 17:11:00 2011 +0200
     1.3 @@ -27,6 +27,7 @@
     1.4      browser         graph browser (requires jdk)
     1.5      doc             documentation (requires latex and rail)
     1.6      jars            Isabelle/Scala layer (requires Scala in \$SCALA_HOME)
     1.7 +    jars_fresh      fresh build of jars
     1.8  
     1.9  EOF
    1.10    exit 1
    1.11 @@ -84,7 +85,7 @@
    1.12  function build_jars ()
    1.13  {
    1.14    pushd "$ISABELLE_HOME/src/Pure" >/dev/null
    1.15 -  "$ISABELLE_TOOL" env ./build-jars || exit $?
    1.16 +  "$ISABELLE_TOOL" env ./build-jars "$@" || exit $?
    1.17    popd >/dev/null
    1.18  }
    1.19  
    1.20 @@ -98,6 +99,7 @@
    1.21      browser) build_browser;;
    1.22      doc) build_doc;;
    1.23      jars) build_jars;;
    1.24 +    jars_fresh) build_jars -f;;
    1.25      *) fail "Bad module $MODULE"
    1.26    esac
    1.27  done