extra jar for scala-2.10.0-RC1;
authorwenzelm
Sat, 20 Oct 2012 17:15:40 +0200
changeset 49955 10b2c0b68a4d
parent 49954 44658062d822
child 49956 7d4a24d40e02
extra jar for scala-2.10.0-RC1;
src/Pure/build-jars
--- a/src/Pure/build-jars	Sat Oct 20 15:46:48 2012 +0200
+++ b/src/Pure/build-jars	Sat Oct 20 17:15:40 2012 +0200
@@ -211,6 +211,9 @@
   [ -e "$SCALA_HOME/lib/scala-actors.jar" ] && \
     cp "$SCALA_HOME/lib/scala-actors.jar" "$TARGET_DIR/ext"
 
+  [ -e "$SCALA_HOME/lib/scala-reflect.jar" ] && \
+    cp "$SCALA_HOME/lib/scala-reflect.jar" "$TARGET_DIR/ext"
+
   popd >/dev/null
 
   rm -rf classes