--- a/Admin/lib/Tools/makedist Sat Jul 26 14:52:54 2014 +0200
+++ b/Admin/lib/Tools/makedist Sat Jul 26 19:19:19 2014 +0200
@@ -184,11 +184,9 @@
export CLASSPATH="$ISABELLE_CLASSPATH"
-./bin/isabelle env ISABELLE_SCALA_BUILD_OPTIONS="$ISABELLE_SCALA_BUILD_OPTIONS -optimise" \
- ./Admin/build all || fail "Failed to build distribution"
+./Admin/build all || fail "Failed to build distribution"
-./bin/isabelle env ISABELLE_SCALA_BUILD_OPTIONS="$ISABELLE_SCALA_BUILD_OPTIONS -optimise" \
- ./bin/isabelle jedit -b || fail "Failed to build Isabelle/jEdit"
+./bin/isabelle jedit -b || fail "Failed to build Isabelle/jEdit"
cp -a src src.orig
env ISABELLE_IDENTIFIER="${DISTNAME}-build" \