--- sml/trunk/config/_ml-build	2000/02/18 17:20:16	537
+++ sml/trunk/config/_ml-build	2000/03/07 04:01:07	569
@@ -13,7 +13,7 @@
 listfile=$xx-BOOTLIST
 mlscript=$xx-script
 
-trap 'rm -rf $smlfile $cmfile $listfile $mlscript' 0 1 2 3 15
+trap 'rm -rf `find . -name $smlfile` $cmfile $listfile $mlscript' 0 1 2 3 15
 
 usage() {
     echo ${thisscript}: $*
@@ -40,14 +40,19 @@
 EOF
 
 cat >$mlscript <<EOF
-OS.Process.exit ((case CM.mk_standalone NONE "${cmfile}" of
+ignore (OS.Process.exit ((case CM.mk_standalone NONE "${cmfile}" of
    NONE => OS.Process.failure
  | SOME l => let val s = TextIO.openOut "${listfile}"
-   in app (fn str => TextIO.output (s, str ^ "\n")) l;
+                 fun wr str = TextIO.output (s, str ^ "\n")
+		 val n = length l
+		 fun maxsz (s, n) = Int.max (size s, n)
+		 val m = foldl maxsz 0 l
+   in wr (concat ["%", Int.toString n, " ", Int.toString m]);
+      app wr l;
       TextIO.closeOut s;
       OS.Process.success
    end)
-   handle _ => OS.Process.failure)
+   handle _ => OS.Process.failure))
 EOF
 
 if $SML full-cm.cm <$mlscript ; then

<script type="text/javascript">//<![CDATA[
		function toggle_ffErrors() {
			var errorsblock = document.getElementById("ffErrorsBlock");
			var errorsgroup = document.getElementById("ffErrors");
			if (errorsblock.style.display == "none") {
				errorsblock.style.display = "block";
				errorsgroup.style.right = "10px";
			} else {
				errorsblock.style.display = "none";
				errorsgroup.style.right = "300px";
			}
		}
//]]></script>
<div id="ffErrors">
<a href="javascript:toggle_ffErrors();">Click to toggle</a>
<div id="ffErrorsBlock">
	<div class="error">does not end with &lt;/html&gt; tag</div>
	<div class="error">does not end with &lt;/body&gt; tag</div>
	<div class="info">The output has ended thus: S.Process.failure)
+   handle _ =&gt; OS.Process.failure))
 EOF
 
 if $SML full-cm.cm &lt;$mlscript ; then</div>
</div></div>
</body></html>