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 | |
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')
-rwxr-xr-x | util/lint/check-style | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/lint/check-style b/util/lint/check-style index f72d7b42c5..5d21b8b2e3 100755 --- a/util/lint/check-style +++ b/util/lint/check-style @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # git pre-commit hook that runs an clang-format stylecheck. # Features: # - abort commit when commit does not comply with the style guidelines |