etc/settings
changeset 51384 d2116723f550
parent 50197 b385d134926d
child 51940 958d439b3013
     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  ###