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.
fixed commit emulation;
authorwenzelm
Wed, 04 Dec 1996 17:02:19 +0100
changeset 2316 ba9c9ed28dd8
parent 2315 491e8d4b8fad
child 2317 672015b535d7
fixed commit emulation;
lib/scripts/run-smlnj file | annotate | diff | comparison | revisions 
--- a/lib/scripts/run-smlnj	Wed Dec 04 17:02:02 1996 +0100
+++ b/lib/scripts/run-smlnj	Wed Dec 04 17:02:19 1996 +0100
@@ -31,16 +31,16 @@
 
 if [ -z "$OUTFILE" ]; then
   DB="$INFILE"
-  COMMIT="fun commit() = output (std_out, \"Error - Database is not opened for writing.\\n\");"
+  COMMIT='fun commit() = (output (std_out, "Error - Database is not opened for writing.\n"); false);'
 elif [ -n "$INFILE" -a "$INFILE" != "$OUTFILE" ]; then           # FIXME ! -ef !?
   [ -f "$OUTFILE" ] && { rm -f "$OUTFILE" || fail_out }
   cp "$INFILE" "$OUTFILE" || fail_out
   chmod +w "$OUTFILE"
   DB="$INFILE"
-  COMMIT="fun commit() = (exportML\"$OUTFILE\"; ());"
+  COMMIT="fun commit() = not (exportML\"$OUTFILE\");"
 else
   DB="$INFILE"
-  COMMIT="fun commit() = (exportML\"$OUTFILE\"; ());"
+  COMMIT="fun commit() = not (exportML\"$OUTFILE\");"
 fi
 
 [ -n "$DB" ] && DB="@SMLload=$DB"
isabelle