worldstone: add -s for statistical profiling
[minix.git] / tools / file / 
tree146500d7acf96d5ea83216788136420f35baf4f9
drwxr-xr-x   ..
-rw-r--r-- 514 Makefile