diff options
Diffstat (limited to 'src/build/tools/addCopyright.pl')
-rwxr-xr-x | src/build/tools/addCopyright.pl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/build/tools/addCopyright.pl b/src/build/tools/addCopyright.pl index b3f11ffd3..9d12fe921 100755 --- a/src/build/tools/addCopyright.pl +++ b/src/build/tools/addCopyright.pl @@ -133,6 +133,13 @@ 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"; |