From 8c9d22defff3caffad9de9347bb6309b2f210a02 Mon Sep 17 00:00:00 2001
From: Carlo Camilloni <carlo.camilloni@gmail.com>
Date: Fri, 24 Jun 2016 13:18:06 +0200
Subject: [PATCH] update regtest makefile to run metainference tests

---
 regtest/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/regtest/Makefile b/regtest/Makefile
index 02076569f..19d709d9b 100644
--- a/regtest/Makefile
+++ b/regtest/Makefile
@@ -1,4 +1,4 @@
-SUBDIRS := basic $(shell ./scripts/find_modules.sh)
+SUBDIRS := basic metainference $(shell ./scripts/find_modules.sh)
 SUBDIRSCLEAN := $(addsuffix .clean,$(SUBDIRS))
 SUBDIRSVALGRIND := $(addsuffix .valgrind,$(SUBDIRS))
 
-- 
GitLab