src/Pure/build-jars
changeset 36011 3ff725ac13a4
parent 34876 b52e03f68cc3
child 36676 ac7961d42ac3
--- a/src/Pure/build-jars	Mon Mar 29 01:07:01 2010 -0700
+++ b/src/Pure/build-jars	Mon Mar 29 22:43:56 2010 +0200
@@ -88,7 +88,7 @@
   echo "###"
 
   rm -rf classes && mkdir classes
-  "$SCALA_HOME/bin/scalac" -unchecked -deprecation -d classes -target jvm-1.5 "${SOURCES[@]}" || \
+  "$SCALA_HOME/bin/scalac" -unchecked -deprecation -d classes -target:jvm-1.5 "${SOURCES[@]}" || \
     fail "Failed to compile sources"
   mkdir -p "$TARGET_DIR" || fail "Failed to create directory $TARGET_DIR"
   (