[#4483] addressed review comments

diff --git a/tools/valgrind_generate_suppression_file.sh b/tools/valgrind_generate_suppression_file.sh
index f9838ffdf5d247b5fbfa7a63accf48e4077b3ceb..4a04003f31116c6b339013ff22bec883bae17eb0 100755 (executable)
--- a/tools/valgrind_generate_suppression_file.sh
+++ b/tools/valgrind_generate_suppression_file.sh
@@ -2,6 +2,10 @@
 
 set -eu
 
+# shellcheck disable=SC2044
+# SC2044 (warning): For loops over find output are fragile. Use find -exec or a while read loop.
+# reason: They're fine. We don't use spaces in file names.
+
 # Print usage.
 print_usage() {
   printf \