lib/scripts/run-smlnj
changeset 6078 e01e2328d0f0
parent 5708 fb09ab6a447f
child 9789 7e5e6c47c0b5
--- a/lib/scripts/run-smlnj	Mon Jan 11 12:50:29 1999 +0100
+++ b/lib/scripts/run-smlnj	Mon Jan 11 12:52:53 1999 +0100
@@ -25,6 +25,17 @@
   fi
 }
 
+function check_heap_file()
+{
+  if [ ! -f "$1" ]; then
+    echo "Expected to find ML heap file $1" >&2
+    return 1
+  else
+    return 0
+  fi
+}
+
+
 
 ## compiler binaries
 
@@ -74,11 +85,10 @@
 
 if [ -n "$OUTFILE" ]; then
   eval $($ARCH_N_OPSYS)
-  SUFFIX=".$ARCH-$OPSYS"
-  if [ -f "$OUTFILE$SUFFIX" ]; then
-    mv "$OUTFILE$SUFFIX" "$OUTFILE"
+  [ -z "$HEAP_SUFFIX" ] && HEAP_SUFFIX="$ARCH-$OPSYS"
+  HEAP="$OUTFILE.$HEAP_SUFFIX"
+  check_heap_file "$HEAP" && mv "$HEAP" "$OUTFILE" && \
     [ -n "$NOWRITE" ] && chmod -w "$OUTFILE"
-  fi
 fi
 
 exit $RC