diff options
| -rwxr-xr-x | src/build/tools/addCopyright.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/build/tools/addCopyright.pl b/src/build/tools/addCopyright.pl index a8941d20b..b3f11ffd3 100755 --- a/src/build/tools/addCopyright.pl +++ b/src/build/tools/addCopyright.pl @@ -127,7 +127,7 @@ while (defined($_ = shift)) ## ## validate - ## Exit 1 for unknown filetype + ## Continue for unknown filetype ## Exit 2 if has old copyright block ## Exit 3 if no copyright block ## |
