diff options
author | Paul Beusterien <paulbeusterien@google.com> | 2018-04-20 11:54:53 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-20 11:54:53 -0700 |
commit | ede57f84bb4ddcc438bba34ef4407ee86fbaf2f9 (patch) | |
tree | 5cbc02ac98db6bb2ed3a8c1b26140859cb02c654 /scripts/check_copyright.sh | |
parent | b224bf30eb4aa41a3eddff4a7df2f9ecd4874dab (diff) |
Add missing copyright and licenses (#1152)
Diffstat (limited to 'scripts/check_copyright.sh')
-rwxr-xr-x | scripts/check_copyright.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/check_copyright.sh b/scripts/check_copyright.sh index 14857d3..5cd8a18 100755 --- a/scripts/check_copyright.sh +++ b/scripts/check_copyright.sh @@ -22,7 +22,7 @@ options=( ) git grep "${options[@]}" \ - -- '*.'{c,cc,h,m,mm,sh,swift} \ + -- '*.'{c,cc,h,js,m,mm,py,sh,swift} \ ':(exclude)**/third_party/**' if [[ $? == 0 ]]; then echo "ERROR: Missing copyright notices in the files above. Please fix." |