Admin/build
changeset 47408 63c05991882e
parent 47115 1a05adae1cc9
child 48498 62f183129ae6
     1.1 --- a/Admin/build	Mon Apr 09 20:42:05 2012 +0200
     1.2 +++ b/Admin/build	Mon Apr 09 20:57:23 2012 +0200
     1.3 @@ -28,6 +28,7 @@
     1.4      doc             documentation (requires latex and rail)
     1.5      doc-src         documentation sources from Isabelle theories
     1.6      jars            Isabelle/Scala layer (requires \$ISABELLE_JDK_HOME and \$SCALA_HOME)
     1.7 +    jars_test       test separate build of jars
     1.8      jars_fresh      fresh build of jars
     1.9  
    1.10  EOF
    1.11 @@ -121,6 +122,7 @@
    1.12      doc-src) build_doc-src;;
    1.13      jars) build_jars;;
    1.14      jars_fresh) build_jars -f;;
    1.15 +    jars_test) build_jars -t;;
    1.16      *) fail "Bad module $MODULE"
    1.17    esac
    1.18  done