summaryrefslogtreecommitdiff
path: root/util/lint/lint-stable-009-old-licenses
diff options
context:
space:
mode:
authorAlex Thiessen <alex.thiessen.de+coreboot@gmail.com>2018-01-16 23:05:48 +0000
committerMartin Roth <martinroth@google.com>2018-01-23 05:42:51 +0000
commit73f19dca386d775a880bdc945efaa6b9c77d9e94 (patch)
treeb7814be8453de7044ad8078fc048aae2514ec5d4 /util/lint/lint-stable-009-old-licenses
parent583e0522f14fde040f48d2444099e4dededfa185 (diff)
util/lint: Unify checks for git worktree
Linters try to determine whether they are running in a git worktree so that `git grep` can be used instead of `grep`. These checks are done in different not truly correct ways and thus the linters don't use `git grep` when running from a worktree subdirectory, e.g. in a git subtree environment. Unify checks using `git rev-parse --is-inside-work-tree`. Change-Id: I3f54afc99ad0f0e3052cffdd32bdd9649cf3d720 Signed-off-by: Alex Thiessen <alex.thiessen.de+coreboot@gmail.com> Reviewed-on: https://review.coreboot.org/23297 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'util/lint/lint-stable-009-old-licenses')
0 files changed, 0 insertions, 0 deletions