changeset 47009 | 97b68d61de2e |
parent 46996 | f1856425224e |
child 47113 | b5a5662528fb |
--- a/src/Tools/jEdit/lib/Tools/jedit Sun Mar 18 13:59:54 2012 +0100 +++ b/src/Tools/jEdit/lib/Tools/jedit Sun Mar 18 21:52:50 2012 +0100 @@ -244,8 +244,7 @@ CLASSPATH="$CLASSPATH:$JAR" done CLASSPATH="$(jvmpath "$CLASSPATH")" - exec "$SCALA_HOME/bin/scalac" -unchecked -deprecation \ - -d dist/classes -target:jvm-1.5 "${SOURCES[@]}" + exec "$SCALA_HOME/bin/scalac" $ISABELLE_SCALA_BUILD_OPTIONS -d dist/classes "${SOURCES[@]}" ) || fail "Failed to compile sources" cd dist/classes