tools.time: flush the banner so you can use time in a loop.

diff --git a/basis/tools/time/time.factor b/basis/tools/time/time.factor
index 8355f1f20cb14dd52b1b6c593f611e9f3351538a..c60cf20beb95a4a23ef961ba4441e79f8b66e960 100644 (file)
--- 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 -- )
     [