Admin/build
changeset 64370 865b39487b5d
parent 58791 00916b0dd596
     1.1 --- a/Admin/build	Mon Oct 24 12:01:36 2016 +0200
     1.2 +++ b/Admin/build	Mon Oct 24 12:16:12 2016 +0200
     1.3 @@ -26,7 +26,6 @@
     1.4      all             all modules below
     1.5      browser         graph browser
     1.6      jars            Isabelle/Scala
     1.7 -    jars_test       test separate build of jars
     1.8      jars_fresh      fresh build of jars
     1.9  
    1.10  EOF
    1.11 @@ -86,7 +85,6 @@
    1.12      browser) build_browser;;
    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