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.
'rm -f' instead of 'mv -f';
authorwenzelm
Thu, 23 Jan 1997 18:16:12 +0100
changeset 2551 fe15e3fcccf0
parent 2550 8d8344bcf98a
child 2552 470bc495373e
'rm -f' instead of 'mv -f';
lib/scripts/run-smlnj-0.93 file | annotate | diff | comparison | revisions 
--- a/lib/scripts/run-smlnj-0.93	Thu Jan 23 18:14:20 1997 +0100
+++ b/lib/scripts/run-smlnj-0.93	Thu Jan 23 18:16:12 1997 +0100
@@ -58,7 +58,8 @@
 fi
 
 if [ -n "$MOVE" -a -f "$OUTFILE" ]; then
-  mv -f "$OUTFILE" "$INFILE" || fail_out
+  rm -f "$INFILE" || fail_out
+  mv "$OUTFILE" "$INFILE" || fail_out
 fi
 
 exit $RC
isabelle