From 67770028cbcef0114d7103942f733a39ce369cc7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 26 Nov 2019 11:40:55 +0100
Subject: [PATCH] [e-acsl] Distributes the test oracles of E-ACSL plugin.
---
src/plugins/e-acsl/Makefile.in | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 8a588c57c57..c2b40db263f 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -292,8 +292,8 @@ EACSL_DISTRIB_TESTS = \
$(foreach dir, $(addprefix tests/,$(PLUGIN_TESTS_DIRS)), \
$(dir)/*.[ich] \
$(dir)/test_config \
- $(dir)/oracle/*.c \
- $(dir)/oracle/*.oracle \
+ $(dir)/oracle_ci/*.c \
+ $(dir)/oracle_ci/*.oracle \
)
EACSL_RTL_FILES = $(EACSL_RTL_SRC)
--
GitLab