diff options
Diffstat (limited to 'src/build/tools/addCopyright.pl')
-rwxr-xr-x | src/build/tools/addCopyright.pl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/build/tools/addCopyright.pl b/src/build/tools/addCopyright.pl index 9d12fe921..256be9d3e 100755 --- a/src/build/tools/addCopyright.pl +++ b/src/build/tools/addCopyright.pl @@ -133,13 +133,15 @@ while (defined($_ = shift)) ## if ( $operation =~ m/validate/i ) { + if ( ! -e $_ ) { print "---------------------------------------------------------\n"; print "Skipping deleted file: $_\n"; print "---------------------------------------------------------\n"; next; - } + } + if ("Unknown" eq $filetype) { print "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!\n"; |