diff --git a/.ci_scripts/run_cppcheck.sh b/.ci_scripts/run_cppcheck.sh index fa0d3122f1a326fd0111236f8c1a7b7145c6729e..e09a75f2c7611acc3fa04ba5bb15687559da4270 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 8404a1a027d11ae17b9d114e43bf92ac2b66f566..f1cf4270a668be29fad8f1af84a775fff1a301ef 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