actually exit on scalac failure;
authorwenzelm
Mon Mar 25 10:45:47 2013 +0100 (2013-03-25)
changeset 5150848a1e09120d4
parent 51507 ebd5366e7a42
child 51509 22fd3605c7a2
actually exit on scalac failure;
src/Pure/build-jars
     1.1 --- a/src/Pure/build-jars	Mon Mar 25 10:37:38 2013 +0100
     1.2 +++ b/src/Pure/build-jars	Mon Mar 25 10:45:47 2013 +0100
     1.3 @@ -211,7 +211,7 @@
     1.4        isabelle_scala scalac $SCALAC_OPTIONS "${PIDE_SOURCES[@]}" "${PURE_SOURCES[@]}" || \
     1.5          fail "Failed to compile sources"
     1.6      fi
     1.7 -  )
     1.8 +  ) || exit "$?"
     1.9  
    1.10    mkdir -p "$TARGET_DIR/ext" || fail "Failed to create directory $TARGET_DIR/ext"
    1.11