[MLton-commit] r6641

[Vesa Karvonen]

Show profile info if it has been generated.
----------------------------------------------------------------------

U   mltonlib/trunk/org/mlton/vesak/toys/common.mk

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

Modified: mltonlib/trunk/org/mlton/vesak/toys/common.mk
===================================================================
--- mltonlib/trunk/org/mlton/vesak/toys/common.mk	2008-06-04 22:30:20 UTC (rev 6640)
+++ mltonlib/trunk/org/mlton/vesak/toys/common.mk	2008-06-05 04:44:24 UTC (rev 6641)
@@ -32,7 +32,8 @@
 	rm -rf $(gen-dir)
 
 run : $(exe)
-	bash -c 'time $(exe) $(args)'
+	bash -c 'time $(exe) @MLton gc-summary -- $(args)'
+	bash -c 'if test mlmon.out -nt $(exe) ; then mlprof $(exe) mlmon.out ; fi'
 
 ##########################################################################