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.
cleanup backup images;
authorwenzelm
Tue, 11 Oct 2005 13:28:04 +0200
changeset 17820 9822a7755ad4
parent 17819 1241e5d31d5b
child 17821 daffb154f73e
cleanup backup images;
lib/scripts/run-poplogml file | annotate | diff | comparison | revisions 
--- a/lib/scripts/run-poplogml	Mon Oct 10 15:35:29 2005 +0200
+++ b/lib/scripts/run-poplogml	Tue Oct 11 13:28:04 2005 +0200
@@ -67,6 +67,7 @@
         lconstant UseExn = exception("Use");
 
         define dlocal pop_exception_handler(n, msg, idstring, severity);
+                [n ^n msg ^msg  idstring ^idstring severity ^severity] ==>
                 returnunless(severity == `E` or severity == `R`)(false);
                 erasenum(n);
                 raise(UseExn(str));
@@ -122,7 +123,9 @@
 
 rm -f "$INIT"
 
-[ -n "$OUTFILE" ] && check_heap_file "$OUTFILE" && \
+if [ -n "$OUTFILE" ] && check_heap_file "$OUTFILE"; then
   [ -n "$NOWRITE" ] && chmod -w "$OUTFILE"
+  rm -f "$OUTFILE-"
+fi
 
 exit "$RC"
isabelle