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/genprof/Makefile | |
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/genprof/Makefile')
0 files changed, 0 insertions, 0 deletions