# HG changeset patch
# User wenzelm
# Date 1406395159 -7200
# Node ID 65dc798bb1fbc6db4946333a7e4d03d9b9223559
# Parent  9616643a3032285035920d181189cd3b740e4349
no -optimise -- produces bad bytecode;

diff -r 9616643a3032 -r 65dc798bb1fb Admin/lib/Tools/makedist
--- 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" \