diff options
author | Idwer Vollering <vidwer@gmail.com> | 2020-01-06 16:34:32 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2020-03-04 16:14:11 +0000 |
commit | eb6887e1b62513e02d2b65c783242d411e8b509c (patch) | |
tree | 8cce5d2f0284a605e7434c8573eec2904c6a10ad /util/lint/kconfig_lint | |
parent | 6e9f42bed90fb6e8b5642e4e55f1efca999d975a (diff) |
util/lint: use env to locate the bash binary
Otherwise there will, after make gitconfig,
be (hidden) shell command failures with 'git commit -s':
gmake: util/lint/check-style: Command not found
gmake: *** [Makefile.inc:632: check-style] Error 127
Change-Id: I3891dee53702ee10e5e44dae408193e49d7a89f1
Signed-off-by: Idwer Vollering <vidwer@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/38227
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'util/lint/kconfig_lint')
0 files changed, 0 insertions, 0 deletions