worldstone: add -s for statistical profiling
commit24776434f5b260a935649258eec745d63183ddfd
authorBen Gras <ben@minix3.org>
Wed, 5 Sep 2012 21:42:41 +0000 (5 23:42 +0200)
committerBen Gras <ben@minix3.org>
Wed, 19 Sep 2012 11:43:17 +0000 (19 13:43 +0200)
tree365acd03df9d158265b6c795a12203c9d2317f19
parent7047e014c96a1a17bc3319c29cbadf143e7adf0e
worldstone: add -s for statistical profiling
commands/worldstone/worldstone.1
commands/worldstone/worldstone.sh