# HG changeset patch
# User wenzelm
# Date 1350746140 -7200
# Node ID 10b2c0b68a4d49c04e393c6f8b0baeab39f0c672
# Parent  44658062d822c71a695577c6697f72ebfcd485f8
extra jar for scala-2.10.0-RC1;

diff -r 44658062d822 -r 10b2c0b68a4d 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