# HG changeset patch
# User wenzelm
# Date 916055573 -3600
# Node ID e01e2328d0f0a1b15e20420ffbf691fb731476fb
# Parent  60d97d521453f59b5165f46429c31420ab172e40
more robust heap file detection;

diff -r 60d97d521453 -r e01e2328d0f0 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