diff options
Diffstat (limited to 'src/build/tools')
-rwxr-xr-x | src/build/tools/addCopyright.pl | 8 | ||||
-rw-r--r-- | src/build/tools/test_text.txt | 8 |
2 files changed, 13 insertions, 3 deletions
diff --git a/src/build/tools/addCopyright.pl b/src/build/tools/addCopyright.pl index 256be9d3e..bf7ac5811 100755 --- a/src/build/tools/addCopyright.pl +++ b/src/build/tools/addCopyright.pl @@ -144,9 +144,11 @@ while (defined($_ = shift)) if ("Unknown" eq $filetype) { - print "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!\n"; - print "WARNING:: File $_ :Unknown Filetype: $_\n"; - print "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!\n"; + print "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!\n"; + print "WARNING:: File $_ :Unknown Filetype: $filetype\n"; + print " Skipping this file and continuing.\n"; + print " Please add the copyright prologue manually.\n"; + print "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!\n"; ## exit 1; next; } diff --git a/src/build/tools/test_text.txt b/src/build/tools/test_text.txt new file mode 100644 index 000000000..5f170b991 --- /dev/null +++ b/src/build/tools/test_text.txt @@ -0,0 +1,8 @@ +This file contains raw text. +addCopyright.pl should print an warning for this file and then continue: + +!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! +WARNING:: File <file> :Unknown Filetype: <file> + Skipping this file and continuing, + Please add the copyright prologue manually. +!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
\ No newline at end of file |