diff -r 8da23ecc70cd -r 63c05991882e Admin/build
--- a/Admin/build	Mon Apr 09 20:42:05 2012 +0200
+++ b/Admin/build	Mon Apr 09 20:57:23 2012 +0200
@@ -28,6 +28,7 @@
     doc             documentation (requires latex and rail)
     doc-src         documentation sources from Isabelle theories
     jars            Isabelle/Scala layer (requires \$ISABELLE_JDK_HOME and \$SCALA_HOME)
+    jars_test       test separate build of jars
     jars_fresh      fresh build of jars
 
 EOF
@@ -121,6 +122,7 @@
     doc-src) build_doc-src;;
     jars) build_jars;;
     jars_fresh) build_jars -f;;
+    jars_test) build_jars -t;;
     *) fail "Bad module $MODULE"
   esac
 done