# HG changeset patch # User wenzelm # Date 1362849740 -3600 # Node ID d2116723f55094008072b89f4f6cbdaa01ed869e # Parent 50fb0f35a14f85de11e7fa942bb054f62e74bf3f accomodate encrypted file-system on linux; diff -r 50fb0f35a14f -r d2116723f550 etc/settings --- 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" ###