worldstone: add -s for statistical profiling
[minix.git] / share / 
tree2040ee0b432901d6399c8c328c4966eaa5485787
drwxr-xr-x   ..
-rw-r--r-- 83 Makefile
-rw-r--r-- 27 Makefile.inc
drwxr-xr-x - misc
drwxr-xr-x - mk
drwxr-xr-x - terminfo
drwxr-xr-x - zoneinfo