diff options
Diffstat (limited to 'contrib/scripts/nm-ci-run.sh')
-rwxr-xr-x | contrib/scripts/nm-ci-run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/scripts/nm-ci-run.sh b/contrib/scripts/nm-ci-run.sh index 1d4b573439..dd8fd28457 100755 --- a/contrib/scripts/nm-ci-run.sh +++ b/contrib/scripts/nm-ci-run.sh @@ -126,7 +126,7 @@ _print_test_logs() { echo ">>>> PRINT TEST LOGS $1 (done)" if _with_valgrind; then echo ">>>> PRINT VALGRIND LOGS $1 (start)" - find -name '*.valgrind-log' -print0 | xargs -0 grep -H ^ + find -name '*.valgrind-log' -print0 | xargs -0 grep -H ^ || true echo ">>>> PRINT VALGRIND LOGS $1 (done)" fi } |