src/Pure/build-jars
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