From ef3e562b0f2feed9efd3bfd91b4ed629953e2756 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Virgile=20Pr=C3=A9vosto?= <virgile.prevosto@cea.fr>
Date: Thu, 12 Sep 2013 11:04:59 +0000
Subject: [PATCH] no need to use readlink here

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

diff --git a/src/plugins/e-acsl/tests/test_config.in b/src/plugins/e-acsl/tests/test_config.in
index d8e3a9da3ef..29d631a80a9 100644
--- a/src/plugins/e-acsl/tests/test_config.in
+++ b/src/plugins/e-acsl/tests/test_config.in
@@ -1,6 +1,6 @@
 CMD: @frama-c@ -e-acsl-share ./share/e-acsl
 OPT: -e-acsl-check -e-acsl-verbose 0
-FILTER:@SEDCMD@ -e "s|[a-zA-Z/\\]\+frama_c_project_e-acsl_[a-z0-9]*|PROJECT_FILE|" -e "s|`readlink -f $FRAMAC_SHARE`|FRAMAC_SHARE|g" -e "s|../../share|FRAMAC_SHARE|g" -e "s|./share/e-acsl|FRAMAC_SHARE/e-acsl|g" -e "s|share/e-acsl|FRAMAC_SHARE/e-acsl|g"
+FILTER:@SEDCMD@ -e "s|[a-zA-Z/\\]\+frama_c_project_e-acsl_[a-z0-9]*|PROJECT_FILE|" -e "s|$FRAMAC_SHARE|FRAMAC_SHARE|g" -e "s|../../share|FRAMAC_SHARE|g" -e "s|./share/e-acsl|FRAMAC_SHARE/e-acsl|g" -e "s|share/e-acsl|FRAMAC_SHARE/e-acsl|g"
 COMMENT: The last regex works around the tendency of Frama-C to transform
 COMMENT: absolute path into relative ones whenever the file is not too far
 COMMENT: away from cwd.
-- 
GitLab