Update check copyright script precommit hook

pull/5785/head
murgatroid99 9 years ago
parent 91bd67cb33
commit 028bd45950
  1. 2
      tools/distrib/check_copyright.py

@ -105,7 +105,7 @@ RE_LICENSE = dict(
for k, v in LICENSE_PREFIX.iteritems()) for k, v in LICENSE_PREFIX.iteritems())
if args.precommit: if args.precommit:
FILE_LIST_COMMAND = 'git diff --name-only HEAD | grep -v ^third_party/' FILE_LIST_COMMAND = 'git status -z | grep -Poz \'(?<=^[MARC][MARCD ] )[^\s]+\''
else: else:
FILE_LIST_COMMAND = 'git ls-tree -r --name-only -r HEAD | grep -v ^third_party/' FILE_LIST_COMMAND = 'git ls-tree -r --name-only -r HEAD | grep -v ^third_party/'

Loading…
Cancel
Save