diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/distrib/check_copyright.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/distrib/check_copyright.py b/tools/distrib/check_copyright.py index 6c66a29180..2d46143585 100755 --- a/tools/distrib/check_copyright.py +++ b/tools/distrib/check_copyright.py @@ -72,6 +72,9 @@ LICENSE_PREFIX = { '.php': r'\s*\*\s*', '.js': r'\s*\*\s*', '.py': r'#\s*', + '.pyx': r'# %s', + '.pxd': r'# %s', + '.pxi': r'# %s', '.rb': r'#\s*', '.sh': r'#\s*', '.proto': r'//\s*', |