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