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