[MLton-commit] r5475

[Vesa Karvonen]

Use HaMLet successor if it is found in the designated place.

----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/async/unstable/example/smlbot/run-sandboxed-sml.sh

----------------------------------------------------------------------

Modified: mltonlib/trunk/com/ssh/async/unstable/example/smlbot/run-sandboxed-sml.sh
===================================================================
--- mltonlib/trunk/com/ssh/async/unstable/example/smlbot/run-sandboxed-sml.sh	2007-03-29 06:57:09 UTC (rev 5474)
+++ mltonlib/trunk/com/ssh/async/unstable/example/smlbot/run-sandboxed-sml.sh	2007-03-29 07:02:05 UTC (rev 5475)
@@ -18,4 +18,12 @@
 fi
 
 # Run the code from stdin
-exec nice -n 19 sml .sandbox-prefix.sml 2>&1
+
+if test -d .hamlet-succ ; then
+    # Using HaMLet successor with modified Basis
+    cd .hamlet-succ
+    exec nice -n 19 ./hamlet 2>&1
+else
+    # Using sml/nj with the sandbox prefix
+    exec nice -n 19 sml .sandbox-prefix.sml 2>&1
+fi