diff options
Diffstat (limited to 'src/build/tools/addCopyright.pl')
| -rwxr-xr-x | src/build/tools/addCopyright.pl | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/build/tools/addCopyright.pl b/src/build/tools/addCopyright.pl index f5fc3f4f1..d57b713bb 100755 --- a/src/build/tools/addCopyright.pl +++ b/src/build/tools/addCopyright.pl @@ -135,8 +135,10 @@ while (defined($_ = shift)) { if ("Unknown" eq $filetype) { - print "ERROR: File $_ :Unknown Filetype: $_"; - exit 1; + print "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"; + print "WARNING:: File $_ :Unknown Filetype: $_"; + print "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"; + ## exit 1; } if ( hasoldcopyrightblock( $_, $filetype ) ) { |
