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