--- a/Make.proto Thu Oct 17 02:24:37 2013 +0100
+++ b/Make.proto Thu Oct 17 11:11:56 2013 +0100
@@ -21,7 +21,7 @@
INCLUDE_TOP=$(TOP)/..
# subdirectories where targets are to be made:
-SUBDIRS= tools experiments
+SUBDIRS= experiments libs tools
# subdirectories where Makefiles are to be made: