From 4c54b32170f0cfc9a05611a7e036f999769902f1 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Fri, 10 Aug 2012 15:23:10 -0700 Subject: [PATCH] tools.time: flush the banner so you can use time in a loop. --- basis/tools/time/time.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/basis/tools/time/time.factor b/basis/tools/time/time.factor index 8355f1f20c..c60cf20beb 100644 --- a/basis/tools/time/time.factor +++ b/basis/tools/time/time.factor @@ -15,7 +15,7 @@ IN: tools.time "dispatch-stats. - Print method dispatch statistics" print "gc-events. - Print all garbage collection events" print "gc-stats. - Print breakdown of different garbage collection events" print - "gc-summary. - Print aggregate garbage collection statistics" print ; + "gc-summary. - Print aggregate garbage collection statistics" print flush ; : time ( quot -- ) [