author | wenzelm |
Sat, 20 Oct 2012 17:15:40 +0200 | |
changeset 49955 | 10b2c0b68a4d |
parent 49954 | 44658062d822 |
child 49956 | 7d4a24d40e02 |
--- 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