worldstone: add -s for statistical profiling
[minix.git] / tools / binstall / 
tree2a453d31502079f0a96a3c3297b2d67b7f5f0d29
drwxr-xr-x   ..
-rw-r--r-- 273 Makefile