steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

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

db4
John Benediktsson 2012-08-10 15:23:10 -07:00
parent fc449d55bf
commit 4c54b32170
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
basis/tools/time/time.factor
View File

@ -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 -- )
[