From dbe66dce997e153ce851a5171711c94ce8ffdacb Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 16 Jul 2020 16:08:52 +0200
Subject: [PATCH] [tests] use NOFRAMAC for E-ACSL 'dev' test config

---
 src/plugins/e-acsl/tests/test_config_dev.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/plugins/e-acsl/tests/test_config_dev.in b/src/plugins/e-acsl/tests/test_config_dev.in
index b425a92ef84..5319ddedd5a 100644
--- a/src/plugins/e-acsl/tests/test_config_dev.in
+++ b/src/plugins/e-acsl/tests/test_config_dev.in
@@ -1,3 +1,4 @@
+NOFRAMAC: only the EXEC command below is useful in this config
 MACRO: SEDCMD @SEDCMD@
 MACRO: DEST @PTEST_RESULT@/@PTEST_NAME@
 MACRO: OUT @PTEST_NAME@.res.log
-- 
GitLab