diff -r 04d473e883df -r 966f359dc724 src/Pure/build-jars
--- 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"