aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/distrib/check_copyright.py
diff options
context:
space:
mode:
authorGravatar Craig Tiller <ctiller@google.com>2016-01-28 11:48:18 -0800
committerGravatar Craig Tiller <ctiller@google.com>2016-01-28 11:48:18 -0800
commit2d50f37047561bdabed6ddda68baa14e691a26ea (patch)
tree36a0b93906f00d5dbe5d75b5739c31dcea1af227 /tools/distrib/check_copyright.py
parent8c50db09b9fc937a16ace5b0783980b4a8ffc0ec (diff)
Fix copyrights, formatting
Diffstat (limited to 'tools/distrib/check_copyright.py')
-rwxr-xr-xtools/distrib/check_copyright.py6
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/distrib/check_copyright.py b/tools/distrib/check_copyright.py
index 6123218c55..174781e6f6 100755
--- a/tools/distrib/check_copyright.py
+++ b/tools/distrib/check_copyright.py
@@ -68,9 +68,9 @@ with open('LICENSE') as f:
# that given a line of license text, returns what should
# be in the file
LICENSE_PREFIX = {
- '.c': r'\s*(//|\*)\s*',
- '.cc': r'\s*(//|\*)\s*',
- '.h': r'\s*(//|\*)\s*',
+ '.c': r'\s*(?://|\*)\s*',
+ '.cc': r'\s*(?://|\*)\s*',
+ '.h': r'\s*(?://|\*)\s*',
'.m': r'\s*\*\s*',
'.php': r'\s*\*\s*',
'.js': r'\s*\*\s*',