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.
accomodate encrypted file-system on linux;
authorwenzelm
Sat, 09 Mar 2013 18:22:20 +0100
changeset 51384 d2116723f550
parent 51383 50fb0f35a14f
child 51385 f193d44d4918
accomodate encrypted file-system on linux;
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Sat Mar 09 13:01:24 2013 +0100
+++ b/etc/settings	Sat Mar 09 18:22:20 2013 +0100
@@ -11,7 +11,7 @@
 ### JVM components (Scala or Java)
 ###
 
-ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5"
+ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5 -Xmax-classfile-name 130"
 
 
 ###
isabelle