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.
minor tuning;
authorwenzelm
Mon, 16 Dec 1996 09:56:28 +0100
changeset 2396 721a9e01457b
parent 2395 c24a79fe3651
child 2397 01a5e30334b1
minor tuning;
lib/scripts/run-smlnj file | annotate | diff | comparison | revisions 
--- a/lib/scripts/run-smlnj	Mon Dec 16 09:53:30 1996 +0100
+++ b/lib/scripts/run-smlnj	Mon Dec 16 09:56:28 1996 +0100
@@ -41,9 +41,10 @@
 elif [ -n "$INFILE" -a ! "$INFILE" -ef "$OUTFILE" ]; then
   [ -f "$OUTFILE" ] && { rm -f "$OUTFILE" || fail_out }
   cp "$INFILE" "$OUTFILE" || fail_out
-  chmod +w "$OUTFILE" || fail_out
 fi
 
+[ -n "$OUTFILE" ] && { chmod +w "$OUTFILE" || fail_out }
+
 MLTEXT="$EXIT $COMMIT $MLTEXT"
 MLEXIT="commit();"
isabelle