From c476985770bd4169f242228b4271b9a3f9721e4c Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Wed, 13 Jul 2016 11:35:14 +0200
Subject: [PATCH] [e-acsl-gcc.sh] Fix application of __E_ACSL__ macro

---
 src/plugins/e-acsl/scripts/e-acsl-gcc.sh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index 9c04ae45244..a509691013e 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -418,6 +418,10 @@ CPPMACHDEP="-D__FC_MACHDEP_X86_$MACHDEPFLAGS"
 # GCC machine option
 GCCMACHDEP="-m$MACHDEPFLAGS"
 
+# Macro that identifies E-ACSL compilation. Passed to Frama-C
+# and GCC runs but not to the original compilation
+EACSL_MACRO_ID="__E_ACSL__"
+
 # Frama-C and related flags
 FRAMAC_CPP_EXTRA="
   $OPTION_FRAMAC_CPP_EXTRA
@@ -464,10 +468,6 @@ for mod in $OPTION_EACSL_MMODELS; do
   mmodel_sources $mod > /dev/null
 done
 
-# Macro that identifies E-ACSL compilation. Passed to Frama-C
-# and GCC runs but not to the original compilation
-EACSL_MACRO_ID="__E_ACSL__"
-
 # Gcc and related flags
 CC="$OPTION_CC"
 CFLAGS="$OPTION_CFLAGS
-- 
GitLab