Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fail early
authorkleing
Thu, 20 Jun 2002 18:48:31 +0200
changeset 13229 a2b09d99e5cf
parent 13228 52df43782fab
child 13230 c5fad3c40d45
fail early
lib/Tools/makeall file | annotate | diff | comparison | revisions 
--- a/lib/Tools/makeall	Thu Jun 20 18:23:58 2002 +0200
+++ b/lib/Tools/makeall	Thu Jun 20 18:48:31 2002 +0200
@@ -25,6 +25,11 @@
   exit 1
 }
 
+function fail()
+{
+  echo "$1" >&2
+  exit 2
+}
 
 ## main
 
@@ -34,7 +39,7 @@
 
 for L in $ALL_LOGICS
 do
-  ( cd "$ISABELLE_HOME/src/$L"; "$ISATOOL" make "$@" )
+  ( cd "$ISABELLE_HOME/src/$L"; "$ISATOOL" make "$@" ) || fail "Logic $L failed!"
 done
 
 echo -n "Finished at "; date
isabelle