thanks to damocles, two places changed. one relates to the performance boost.
[mit-jos.git] / conf / 
tree897da576d15119e7de4a458a0979f402612ef19a
drwxr-xr-x   ..
-rw-r--r-- 589 env.mk
-rw-r--r-- 46 lab.mk