diff options
| author | Solomon Alan-Dei <alandei.solomon@gmail.com> | 2022-08-11 11:13:28 -0600 |
|---|---|---|
| committer | Martin L Roth <gaumless@gmail.com> | 2022-10-29 15:43:18 +0000 |
| commit | a6e60f043bc626eac58074a6b64ef04f00071f96 (patch) | |
| tree | 80a9dfa9991d1f9a1e2e8021e6ca7fa00de56451 /src/arch/arm | |
| parent | 7c09e546af08203f26fb0794c8ba983437e8a29d (diff) | |
util/lint: fall back to regular grep in kconfig_lint
Automatically fall back to using regular grep if working outside a git
repository and the option to use regular grep is not specified
Signed-off-by: Solomon Alan-Dei <alandei.solomon@gmail.com>
Change-Id: I0cdecf01a0e74c30947c4fe7e7c7d9457a5165a1
Reviewed-on: https://review.coreboot.org/c/coreboot/+/66637
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin L Roth <gaumless@gmail.com>
Diffstat (limited to 'src/arch/arm')
0 files changed, 0 insertions, 0 deletions