diff options
author | Lubomir Rintel <lkundrak@v3.sk> | 2015-06-04 12:30:30 +0200 |
---|---|---|
committer | Lubomir Rintel <lkundrak@v3.sk> | 2015-06-04 14:29:10 +0200 |
commit | df0676ab00673a76d814762d30b4fab708812b75 (patch) | |
tree | a936a5abff64a69425cd50d99d75b4b06e3b1366 | |
parent | d909e76d9ea21c74e1db9a5e671794a0b1234ad1 (diff) | |
download | NetworkManager-df0676ab00673a76d814762d30b4fab708812b75.tar.gz |
tests: delete the valgrind logs if they're empty
-rwxr-xr-x | tools/run-test-valgrind.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/run-test-valgrind.sh b/tools/run-test-valgrind.sh index 0cdada7b6b..cd53306b4c 100755 --- a/tools/run-test-valgrind.sh +++ b/tools/run-test-valgrind.sh @@ -50,6 +50,9 @@ if [ $RESULT -ne 0 -a $RESULT -ne 77 ]; then echo Files without debugging symbols: $UNRESOLVED >&2 fi fi + exit $RESULT fi +find -name "$LOGFILE" -size 0 -delete + exit $RESULT |