src/Pure/build-jars
changeset 43521 d477b92109b8
parent 43517 87ec9a1c0f98
child 43523 5aaa0fe92672
     1.1 --- a/src/Pure/build-jars	Thu Jun 23 14:52:32 2011 +0200
     1.2 +++ b/src/Pure/build-jars	Thu Jun 23 16:10:22 2011 +0200
     1.3 @@ -180,6 +180,9 @@
     1.4    jar ufe "$(jvmpath "$FULL_JAR")" isabelle.GUI_Setup isabelle scala || \
     1.5      fail "Failed to produce $FULL_JAR"
     1.6  
     1.7 +  mkdir -p "$TARGET_DIR/ext"
     1.8 +  cp "$FULL_JAR" "$TARGET_DIR/ext/"
     1.9 +
    1.10    popd >/dev/null
    1.11  
    1.12    rm -rf classes