# HG changeset patch
# User clasohm
# Date 826802389 -3600
# Node ID a84cc626ea6929e480945a4b0c7145e78aa1c8e1
# Parent  af8f43f742a03280fc2e8e430450b2aa7e4e9fd9
added @SMLdebug=/dev/null to supress GC messages

diff -r af8f43f742a0 -r a84cc626ea69 src/Pure/NJ1xx.ML
--- a/src/Pure/NJ1xx.ML	Thu Mar 14 10:40:21 1996 +0100
+++ b/src/Pure/NJ1xx.ML	Thu Mar 14 12:19:49 1996 +0100
@@ -123,10 +123,14 @@
 fun xML filename banner =
   let val runtime = List.hd (SMLofNJ.getAllArgs())
       val exec_file = IO.open_out filename
+
       val _ = IO.output (exec_file,
 			 String.concat
 			 ["#!/bin/sh\n",
-			  runtime, " @SMLload=", filename, ".heap\n"])
+			  runtime, " @SMLdebug=/dev/null @SMLload=", filename,
+                          ".heap\n"])
+                             (*"@SMLdebug=..." sends GC messages to /dev/null*)
+
 	val _ = IO.close_out exec_file;
 	val _ = OS.Process.system ("chmod a+x " ^ filename)
     in exportML (filename^".heap");