diff --git a/tools/distrib/check_copyright.py b/tools/distrib/check_copyright.py index 6c66a291808a05ddcc6c3e45e58255e7c32eb19a..2d46143585941d793b920ce8a44d224d31fa5ff7 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*',