# HG changeset patch
# User sr
# Date 1530775402 -7200
# Node ID 683d27860180ed5ca30e341ba30917ab0f62fbd5
# Parent  0f069423919bea10684e6e0bb961a6c233c46951
order

diff -r 0f069423919b -r 683d27860180 Make.proto
--- 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: