src/tbutc/Makefile \
src/tests/Makefile \
src/tests/run-tests \
+src/tools/Makefile \
+src/tools/dumpscan/Makefile \
+src/tools/rxperf/Makefile \
src/tsalvaged/Makefile \
src/tsm41/Makefile \
-src/tviced/Makefile \
src/tvolser/Makefile \
src/ubik/Makefile \
src/tubik/Makefile \