Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/build-jars
changeset 51508 48a1e09120d4
parent 51504 18095684c5a6
child 51614 22d1dd43f089 
--- a/src/Pure/build-jars	Mon Mar 25 10:37:38 2013 +0100
+++ b/src/Pure/build-jars	Mon Mar 25 10:45:47 2013 +0100
@@ -211,7 +211,7 @@
       isabelle_scala scalac $SCALAC_OPTIONS "${PIDE_SOURCES[@]}" "${PURE_SOURCES[@]}" || \
         fail "Failed to compile sources"
     fi
-  )
+  ) || exit "$?"
 
   mkdir -p "$TARGET_DIR/ext" || fail "Failed to create directory $TARGET_DIR/ext"
isabelle