diff options
| author | Emanuel Haupt <ehaupt@FreeBSD.org> | 2013-04-24 18:15:44 +0000 |
|---|---|---|
| committer | Emanuel Haupt <ehaupt@FreeBSD.org> | 2013-04-24 18:15:44 +0000 |
| commit | c223904bcc12ca92b93fb488f75d1e434dcc00d3 (patch) | |
| tree | 375caeacc87287f38f41373c027eb9960195143c /Tools | |
| parent | e1598249298974c6e8c61c34d927acabee345542 (diff) | |
| download | ports-c223904bcc12ca92b93fb488f75d1e434dcc00d3.tar.gz ports-c223904bcc12ca92b93fb488f75d1e434dcc00d3.zip | |
Notes
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; } |