changeset 43285 | 966f359dc724 |
parent 43280 | e5dd0ae1b054 |
child 43320 | 657635e0445a |
--- a/src/Pure/build-jars Wed Jun 08 20:58:51 2011 +0200 +++ b/src/Pure/build-jars Wed Jun 08 21:29:49 2011 +0200 @@ -140,7 +140,7 @@ fail "Failed to compile sources" mkdir -p "$TARGET_DIR" || fail "Failed to create directory $TARGET_DIR" - pushd classes + pushd classes >/dev/null jar cfe "$(jvmpath "$PURE_JAR")" isabelle.GUI_Setup isabelle || \ fail "Failed to produce $PURE_JAR"