diff options
author | 2016-01-05 07:54:11 -0800 | |
---|---|---|
committer | 2016-01-05 07:54:11 -0800 | |
commit | befa1fff76268c657e5d2772ee9eb8381dd76e9b (patch) | |
tree | 6ae3803688b890ba7a4dfb1cda7a946960349ec9 /tools | |
parent | b0d8f686c50f4c2b05473b8d73d82b544d39743f (diff) |
Copyright checker fixes
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/distrib/check_copyright.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/distrib/check_copyright.py b/tools/distrib/check_copyright.py index 2d46143585..f54e5fad80 100755 --- a/tools/distrib/check_copyright.py +++ b/tools/distrib/check_copyright.py @@ -72,9 +72,9 @@ LICENSE_PREFIX = { '.php': r'\s*\*\s*', '.js': r'\s*\*\s*', '.py': r'#\s*', - '.pyx': r'# %s', - '.pxd': r'# %s', - '.pxi': r'# %s', + '.pyx': r'#\s*', + '.pxd': r'#\s*', + '.pxi': r'#\s*', '.rb': r'#\s*', '.sh': r'#\s*', '.proto': r'//\s*', |