From f0d85067a94b82cd5c0e452037e0e566899bbc8c Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 23 Mar 2022 16:26:00 +0100
Subject: [PATCH] [e-acsl] wrapper now uses e-acsl-gcc directly

---
 src/plugins/e-acsl/tests/wrapper.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/e-acsl/tests/wrapper.sh b/src/plugins/e-acsl/tests/wrapper.sh
index 938734fdab4..451b0ce1f92 100755
--- a/src/plugins/e-acsl/tests/wrapper.sh
+++ b/src/plugins/e-acsl/tests/wrapper.sh
@@ -65,7 +65,7 @@ exec_err_log=$result_dir/$test_name.exec_err.log
 output_log=$result_dir/$output_name
 
 # Compile the test file
-$BASEDIR/../scripts/e-acsl-gcc.sh -I $framac_exe \
+e-acsl-gcc.sh -I $framac_exe \
   -c $opts \
   --frama-c-extra="$fc_opts" \
   -o $result_dir/$test_name.gcc.c \
-- 
GitLab