src/Pure/build-jars
changeset 47113 b5a5662528fb
parent 47009 97b68d61de2e
child 47115 1a05adae1cc9
     1.1 --- a/src/Pure/build-jars	Mon Mar 26 11:15:41 2012 +0200
     1.2 +++ b/src/Pure/build-jars	Sat Mar 24 20:24:16 2012 +0100
     1.3 @@ -186,7 +186,7 @@
     1.4    mkdir -p "$(dirname "$CHARSET_SERVICE")"
     1.5    echo isabelle.Isabelle_Charset_Provider > "$CHARSET_SERVICE"
     1.6  
     1.7 -  jar cfe "$(jvmpath "$TARGET")" isabelle.GUI_Setup META-INF isabelle || \
     1.8 +  "$ISABELLE_JDK_HOME/bin/jar" cfe "$(jvmpath "$TARGET")" isabelle.GUI_Setup META-INF isabelle || \
     1.9      fail "Failed to produce $TARGET"
    1.10  
    1.11    cp "$SCALA_HOME/lib/scala-swing.jar" "$SCALA_HOME/lib/scala-library.jar" "$TARGET_DIR/ext"