lib/scripts/run-smlnj-0.93
changeset 2936 bd33e7aae062
parent 2622 80a81a36dd81
child 3007 e5efa177ee0c
--- a/lib/scripts/run-smlnj-0.93	Fri Apr 11 15:21:36 1997 +0200
+++ b/lib/scripts/run-smlnj-0.93	Fri Apr 11 17:30:15 1997 +0200
@@ -37,7 +37,7 @@
     mkdir -p "$OUTDIR" || fail_out
     MOVE=true
   fi
-  [ -f "$OUTFILE" ] && { chmod +w "$OUTFILE" || fail_out }
+  [ -f "$OUTFILE" ] && { chmod +w "$OUTFILE" || fail_out; }
   COMMIT="fun commit () = not (exportML\"$OUTFILE\");"
 fi