Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
no -optimise -- produces bad bytecode;
authorwenzelm
Sat, 26 Jul 2014 19:19:19 +0200
changeset 57692 65dc798bb1fb
parent 57691 9616643a3032
child 57693 8ccc4875fe4f
no -optimise -- produces bad bytecode;
Admin/lib/Tools/makedist file | annotate | diff | comparison | revisions 
--- 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" \
isabelle