src/Pure/build-jars

--- a/src/Pure/build-jars	Sun Jan 15 15:50:04 2017 +0100
+++ b/src/Pure/build-jars	Sun Jan 15 15:51:33 2017 +0100
@@ -260,7 +260,7 @@
   rm -f "$TARGET"
   rm -rf classes && mkdir classes
 
-  SCALAC_OPTIONS="$ISABELLE_SCALA_BUILD_OPTIONS -d classes"
+  SCALAC_OPTIONS="$ISABELLE_SCALAC_OPTIONS -d classes"
 
   (
     classpath "$JAVA_HOME/lib/jfxrt.jar"