[#4483] removed more temporary files

diff --git a/tools/valgrind_generate_suppression_file.sh b/tools/valgrind_generate_suppression_file.sh
index 636890b014c9aa1dd5589a059b0c831414053eb0..9b5e638c07dcabfea7d26fc462dd36f58630c0f1 100755 (executable)
--- a/tools/valgrind_generate_suppression_file.sh
+++ b/tools/valgrind_generate_suppression_file.sh
@@ -114,6 +114,7 @@ done
 # remove files
 find build -type f -name '*valgrind_hash_*' -exec rm -rf {} ';'
 find build -type f -name '*txt.supp-part.*' -exec rm -rf {} ';'
+find build -type f -name '*valgrind_suppression.supp.part.*' -exec rm -rf {} ';'
 if [ "${keep_files}" = 'false' ]; then
     find build -type f -name '*valgrind-supp-*' -exec rm -rf {} ';'
 fi