--- 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: