--- a/Make.proto Thu Jul 05 09:23:20 2018 +0200+++ b/Make.proto Thu Jul 05 09:23:22 2018 +0200@@ -21,7 +21,7 @@ INCLUDE_TOP=$(TOP)/.. # subdirectories where targets are to be made:-SUBDIRS= analyzer+SUBDIRS= analyzer tests # subdirectories where Makefiles are to be made: