ignore known pretend issues

toralf · May 8, 2024 · 6fb79c2 · 6fb79c2
1 parent a5937e6
commit 6fb79c2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bin/job.sh b/bin/job.sh
@@ -506,7 +506,7 @@ function finishTitle() {
 }
 
 function SendIssueMailIfNotYetReported() {
-  if ! grep -q -f /mnt/tb/data/IGNORE_ISSUES $issuedir/title; then
+  if ! grep -q -f /mnt/tb/data/IGNORE_ISSUES $issuedir/title && ! grep -q -f /mnt/tb/data/CATCH_ISSUES.pretend $issuedir/title; then
     if ! grep -q -F -f $issuedir/title /mnt/tb/findings/ALREADY_CAUGHT; then
       # chain "cat" by "echo" b/c "echo" is racy whilst "cat" buffers output till newline
       # shellcheck disable=SC2005