From e5d61e0f435b2ad2d189100a629309f608595d8f Mon Sep 17 00:00:00 2001
From: Bouillaguet Quentin <quentin.bouillaguet@cea.fr>
Date: Wed, 23 Jan 2019 15:15:12 +0100
Subject: [PATCH] [Eva] Traces domain: Add traces tests to Makefile

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 995bd992861..1d3cfe67610 100644
--- a/Makefile
+++ b/Makefile
@@ -816,6 +816,7 @@ PLUGIN_DIR:=src/plugins/value
 PLUGIN_EXTRA_DIRS:=engine values domains domains/cvalue domains/apron \
 	domains/gauges domains/equality legacy slevel utils gui_files \
 	values/numerors domains/numerors domains/traces
+PLUGIN_TESTS_DIRS+=value/traces
 
 # Files for the binding to Apron domains. Only available if Apron is available.
 ifeq ($(HAS_APRON),yes)
-- 
GitLab