src/Pure/build-jars
changeset 49955 10b2c0b68a4d
parent 49678 954d1c94f55f
child 50201 c26369c9eda6
--- 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