diff options
| author | Patrick Georgi <patrick@georgi-clan.de> | 2015-04-28 21:36:11 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2015-04-28 22:49:16 +0200 |
| commit | f3947152775e3b13c7bec25aac30bec602d1e14e (patch) | |
| tree | 640d83ca023464f050e556c8a905dd3157f49311 /util/gitconfig/pre-commit | |
| parent | 7cb26b4a6e8a413ff3d9d07966b63afbfcdb6749 (diff) | |
gitconfig: Use the right make executable in git hooks
When installing git hooks through $(MAKE) gitconfig,
make knows itself (and is a GNU make). So let it splice
itself into hooks where necessary by replacing %MAKE%.
Change-Id: Iaf778bfa3f17a8fe31312f871571ed89a9de5385
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/10018
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Diffstat (limited to 'util/gitconfig/pre-commit')
| -rwxr-xr-x | util/gitconfig/pre-commit | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/gitconfig/pre-commit b/util/gitconfig/pre-commit index 8ab3e5604e..ccf78d376c 100755 --- a/util/gitconfig/pre-commit +++ b/util/gitconfig/pre-commit @@ -1,2 +1,2 @@ #!/bin/sh -exec make lint-stable +exec %MAKE% lint-stable |