diff options
Diffstat (limited to 'tools/checkfiltername.pl')
| -rwxr-xr-x | tools/checkfiltername.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/checkfiltername.pl b/tools/checkfiltername.pl index 56fa859500..98a3eb3fd2 100755 --- a/tools/checkfiltername.pl +++ b/tools/checkfiltername.pl @@ -342,6 +342,7 @@ sub is_proto_dup_whitelist { if (($_[0] eq "browser") && (index($_[1], "browser_") >= 0)) {return 1;} if (($_[0] eq "dlsw") && (index($_[1], "dlsw_version") >= 0)) {return 1;} if (($_[0] eq "dns") && (index($_[1], "dnskey") >= 0)) {return 1;} + if (($_[0] eq "ecmp") && (index($_[1], "ecmp_") >= 0)) {return 1;} if (($_[0] eq "exported_pdu") && (index($_[1], "exported_pdu") >= 0)) {return 1;} if (($_[0] eq "fc") && (index($_[1], "fctl") >= 0)) {return 1;} if (($_[0] eq "fcs") && (index($_[1], "fcsmask") >= 0)) {return 1;} |