From b36a3936405437d9b60cc6f21f6b52372d80ad39 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Thu, 9 Apr 2020 10:21:57 +0200
Subject: [PATCH] [eacsl:tests] Remove `-D` flag for E-ACSL dev tests

This flag was added to mitigate issue frama-c/frama-c#710. But since
this MR will fix this issue, the flag isn't needed anymore.
---
 src/plugins/e-acsl/tests/test_config_dev.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/e-acsl/tests/test_config_dev.in b/src/plugins/e-acsl/tests/test_config_dev.in
index 8a01dabc2ff..b425a92ef84 100644
--- a/src/plugins/e-acsl/tests/test_config_dev.in
+++ b/src/plugins/e-acsl/tests/test_config_dev.in
@@ -6,7 +6,7 @@ MACRO: EACSL_ERR @PTEST_NAME@.e-acsl.err.log
 COMMENT: Define the following macro to "no" in a test to stop the execution of `e-acsl-gcc.sh`
 MACRO: ROOT_EACSL_GCC_ENABLE yes
 COMMENT: Default options for `e-acsl-gcc.sh`
-MACRO: ROOT_EACSL_GCC_MISC_OPTS -D -q -X
+MACRO: ROOT_EACSL_GCC_MISC_OPTS -q -X
 COMMENT: Default options for the frama-c invocation
 MACRO: ROOT_EACSL_GCC_FC_EXTRA -journal-disable -verbose 0 -kernel-warn-key *=inactive
 COMMENT: Define the following macro in a test to pass extra options to the frama-c invocation
-- 
GitLab