# 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"
 
 
 ###