"port" changes should also be checked.

diff --git a/util/check-pullups.pl b/util/check-pullups.pl
index 1fc19146461f6bd9a603f34fe87b9e56d7cb69d2..3e550deac1bfead356bcde34c1c76021614e4007 100644 (file)
--- a/util/check-pullups.pl
+++ b/util/check-pullups.pl
@@ -46,4 +46,7 @@ foreach my $c (sort {$a <=> $b} keys %$c1) {
        if ($c1->{$c}->{category} eq "bug" && !exists($c2->{$c})) {
                print $c1->{$c}->{text};
        }
+       if ($c1->{$c}->{category} eq "port" && !exists($c2->{$c})) {
+               print $c1->{$c}->{text};
+       }
 }