diff options
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/ci/valgrind-condense | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/contrib/ci/valgrind-condense b/contrib/ci/valgrind-condense index e64048ab5..eb3f3226f 100755 --- a/contrib/ci/valgrind-condense +++ b/contrib/ci/valgrind-condense @@ -119,12 +119,12 @@ if $match; then program_path=`sed -e 's/^\(.*\/\)\?\.libs\/lt-\([^\/]\+\)$/\1\2/' \ <<<"$program_path"` - program_name=`basename "$program_path"` + program_name=`basename -- "$program_path"` - rm -f "$program_name".*.valgrind.log + rm -f -- "$program_name".*.valgrind.log valgrind --log-file="$program_name.%p.valgrind.log" "$@" || status=$? - if grep -q '^==[0-9]\+== *ERROR SUMMARY: *[1-9]' \ + if grep -q '^==[0-9]\+== *ERROR SUMMARY: *[1-9]' -- \ "$program_name".*.valgrind.log; then exit "$error_exitcode" else |