more robust heap file detection;
authorwenzelm
Mon, 11 Jan 1999 12:52:53 +0100
changeset 6078 e01e2328d0f0
parent 6077 60d97d521453
child 6079 4f7975c74cdf
more robust heap file detection;
lib/scripts/run-smlnj
--- 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