accomodate encrypted file-system on linux;
authorwenzelm
Sat Mar 09 18:22:20 2013 +0100 (2013-03-09)
changeset 51384d2116723f550
parent 51383 50fb0f35a14f
child 51385 f193d44d4918
accomodate encrypted file-system on linux;
etc/settings
     1.1 --- a/etc/settings	Sat Mar 09 13:01:24 2013 +0100
     1.2 +++ b/etc/settings	Sat Mar 09 18:22:20 2013 +0100
     1.3 @@ -11,7 +11,7 @@
     1.4  ### JVM components (Scala or Java)
     1.5  ###
     1.6  
     1.7 -ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5"
     1.8 +ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5 -Xmax-classfile-name 130"
     1.9  
    1.10  
    1.11  ###