From f57c3b1dcb246d667cf473a7907407e38e22f13c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20De=20Keersmaeker?=
 <francois.dekeersmaeker@uclouvain.be>
Date: Sun, 13 Oct 2024 21:46:10 +0200
Subject: [PATCH] CI: updated paths in scripts

---
 .ci_scripts/run_cppcheck.sh | 2 +-
 .ci_scripts/run_tests.sh    | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.ci_scripts/run_cppcheck.sh b/.ci_scripts/run_cppcheck.sh
index fa0d312..e09a75f 100755
--- a/.ci_scripts/run_cppcheck.sh
+++ b/.ci_scripts/run_cppcheck.sh
@@ -1,7 +1,7 @@
 EXITCODE=0
 
 # Pattern matching on all source files
-for file in $(find $GITHUB_WORKSPACE/include $GITHUB_WORKSPACE/src $GITHUB_WORKSPACE/test -name *.h -o -name *.c)
+for file in $(find include src test -name *.h -o -name *.c)
 do
     if [[ "$file" != *"/hashmap.c" ]]
     then
diff --git a/.ci_scripts/run_tests.sh b/.ci_scripts/run_tests.sh
index 8404a1a..f1cf427 100755
--- a/.ci_scripts/run_tests.sh
+++ b/.ci_scripts/run_tests.sh
@@ -1,7 +1,7 @@
 EXITCODE=0
-VALGRIND_SUPP="$GITHUB_WORKSPACE/.ci_scripts/valgrind.supp"
+VALGRIND_SUPP=".ci_scripts/valgrind.supp"
 
-for file in $GITHUB_WORKSPACE/bin/test/*
+for file in bin/test/*
 do
     if [[ $# -eq 1 && $1 == valgrind ]]
     then
-- 
GitLab