--- a/lib/scripts/run-mlworks Wed Dec 17 17:59:18 1997 +0100
+++ b/lib/scripts/run-mlworks Wed Dec 17 18:13:43 1997 +0100
@@ -42,7 +42,7 @@
## run it!
-START_MLWORKS="$ML_HOME/$MLWORKS $ML_OPTIONS"
+START_MLWORKS="$ML_HOME/$MLWORKS 2>&1 $ML_OPTIONS"
if [ -n "$TERMINATE" ]; then
sh -c "echo '$MLTEXT' '$MLEXIT' | $START_MLWORKS"
@@ -55,10 +55,6 @@
RC=$?
fi
-#fix heap file name
-[ -n "$OUTFILE" -a -n "$SUFFIX" -a -f "$OUTFILE$SUFFIX" ] \
- && mv "$OUTFILE$SUFFIX" "$OUTFILE"
-
[ -n "$OUTFILE" -a -n "$NOWRITE" ] && chmod -w "$OUTFILE"
exit $RC