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