changeset 47849 | 48b52cdc214a |
parent 47663 | 20e0865ae9e7 |
child 47995 | 72f52cd7c633 |
--- a/src/Pure/build-jars Wed May 02 13:09:26 2012 +0200 +++ b/src/Pure/build-jars Wed May 02 16:04:07 2012 +0200 @@ -200,6 +200,8 @@ fail "Failed to produce $TARGET" cp "$SCALA_HOME/lib/scala-swing.jar" "$SCALA_HOME/lib/scala-library.jar" "$TARGET_DIR/ext" + [ -e "$SCALA_HOME/lib/scala-actors.jar" ] && \ + cp "$SCALA_HOME/lib/scala-actors.jar" "$TARGET_DIR/ext" popd >/dev/null