# HG changeset patch
# User wenzelm
# Date 1364204747 -3600
# Node ID 48a1e09120d4d9e839b6c6c44a75ccdd416f7bfd
# Parent  ebd5366e7a42ffc532aab40574d7224cfd76d279
actually exit on scalac failure;

diff -r ebd5366e7a42 -r 48a1e09120d4 src/Pure/build-jars
--- 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"