diff options
| author | João Valverde <j@v6e.pt> | 2022-02-15 11:34:15 +0000 |
|---|---|---|
| committer | João Valverde <j@v6e.pt> | 2022-02-15 11:38:16 +0000 |
| commit | 8198dd51cd6c731f620c1c7edf370c9c70966a44 (patch) | |
| tree | 8fe4fc68060791819cb4806bc7b171c21e49fb5d | |
| parent | 8b526c61cb7ac0e9e4f23d02c30394dd9a3a4b8d (diff) | |
pre-commit: Add an exception to duplicate filter name check
| -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 bd6fc282a6..b754fb1329 100755 --- a/tools/checkfiltername.pl +++ b/tools/checkfiltername.pl @@ -328,6 +328,7 @@ sub is_proto_dup_allowed { if (($_[0] eq "amqp") && (index($_[1], "amqp") >= 0)) {return 1;} if (($_[0] eq "bat") && (index($_[1], "batman") >= 0)) {return 1;} if (($_[0] eq "browser") && (index($_[1], "browser_") >= 0)) {return 1;} + if (($_[0] eq "data") && (index($_[1], "data") >= 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;} |