diff options
| author | ehaupt <ehaupt@FreeBSD.org> | 2013-04-25 02:15:44 +0800 |
|---|---|---|
| committer | ehaupt <ehaupt@FreeBSD.org> | 2013-04-25 02:15:44 +0800 |
| commit | 6db5b5799a5ec49f90e6f758ec91a227caaead52 (patch) | |
| tree | 375caeacc87287f38f41373c027eb9960195143c /Tools | |
| parent | bd9e313d10d3c51dbd0716acbbf2cbcd4b33000e (diff) | |
| download | freebsd-ports-gnome-6db5b5799a5ec49f90e6f758ec91a227caaead52.tar.gz freebsd-ports-gnome-6db5b5799a5ec49f90e6f758ec91a227caaead52.tar.zst freebsd-ports-gnome-6db5b5799a5ec49f90e6f758ec91a227caaead52.zip | |
Use case insensitive "nice people" matching
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/scripts/convert-makefile-header.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/convert-makefile-header.pl b/Tools/scripts/convert-makefile-header.pl index 50aca705f2eb..d23eec1abd83 100755 --- a/Tools/scripts/convert-makefile-header.pl +++ b/Tools/scripts/convert-makefile-header.pl @@ -142,7 +142,7 @@ MAIN: { if(defined($creator)) { my $is_nice=0; for my $c (@$nice_people) { - if($creator=~m"${c}") { + if($creator=~m"${c}"i) { $is_nice=1; last; } |