diff options
Diffstat (limited to 'Tools/scripts/convert-makefile-header.pl')
| -rwxr-xr-x | Tools/scripts/convert-makefile-header.pl | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Tools/scripts/convert-makefile-header.pl b/Tools/scripts/convert-makefile-header.pl index 8a97fdde3af2..6569e2478da1 100755 --- a/Tools/scripts/convert-makefile-header.pl +++ b/Tools/scripts/convert-makefile-header.pl @@ -28,6 +28,8 @@ Usage: $bn [OPTION] PORT _ENOUSAGE } +my $nicepeople=".*(avilla@|bapt@|bdrewery@|beat@|eadler@|flo@|flz@|garga@|bsdkaffee@|linimon@|makc@|araujo@|rm@|villa.alberto@).*"; + sub get_creator($) { my $header=shift; my $creator; @@ -99,7 +101,9 @@ MAIN: { my $creator=get_creator(\@header); my $mcom=get_mcom(\@header); if(defined($creator)) { - print $outh "# Created by: $creator\n"; + if ($creator!~m"$nicepeople"i) { + print $outh "# Created by: $creator\n"; + } } else { print STDERR "$mf creator not found. Reverting to RCS string only.\n"; } |