diff options
author | Gil <mcg@google.com> | 2018-05-23 11:42:17 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-23 11:42:17 -0700 |
commit | d3e98192756159fd460d1547d9840e73b473de90 (patch) | |
tree | f0653899a1600ef3327e66e3663ce5c0babf9c28 /scripts/check_copyright.sh | |
parent | 7ecd3d1266539001666f802ee05f9ffc3af6d028 (diff) |
Add a test synchronization script (#1303)
* Add a project sync script
* Give an error if the configuration references a group that doesn't exist
* Fix hard_assert_test reference
* Run sync_project to sort all project elements
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 5cd8a18..cc83e29 100755 --- a/scripts/check_copyright.sh +++ b/scripts/check_copyright.sh @@ -22,7 +22,7 @@ options=( ) git grep "${options[@]}" \ - -- '*.'{c,cc,h,js,m,mm,py,sh,swift} \ + -- '*.'{c,cc,h,js,m,mm,py,rb,sh,swift} \ ':(exclude)**/third_party/**' if [[ $? == 0 ]]; then echo "ERROR: Missing copyright notices in the files above. Please fix." |