+Support -KPASS.

diff --git a/bin/diffgdbfilt b/bin/diffgdbfilt
index 05edbf8..36194ce 100755 (executable)
--- a/bin/diffgdbfilt
+++ b/bin/diffgdbfilt
@@ -34,6 +34,7 @@ while (<>) {
   next if /^[+]PASS: /;
   next if /^[+]KPASS: /;
   next if /^-PASS: /;
+  next if /^-KPASS: /;
   next if /^-FAIL: /;
   next if /^-KFAIL: /;
   next if /^-XFAIL: /;