diff options
author | Alex Thiessen <alex.thiessen.de+coreboot@gmail.com> | 2018-01-04 15:16:23 +0000 |
---|---|---|
committer | Martin Roth <martinroth@google.com> | 2018-01-23 05:18:14 +0000 |
commit | 7bcd6ecea625cbe528633617c51e09f376368202 (patch) | |
tree | 04dec3c7b9b5a9a0a2009d95b4bd59f70a40fa14 /src/include/adainit.h | |
parent | 687b96155cbd6c3c03dcc1bccdbe5104cd9db74b (diff) |
util/gitconfig: Use `make` in git hooks
As the code was moved from the Makefile.inc to a separate file in
commit 9ab8ae6a (util/gitconfig: Make gitconfig a bash script),`$(MAKE)`
was replaced by `remake`, introducing dependency on this tool which is
basically a `make` with debugging capabilities. Many developers don't
have `remake` installed, leading to pre-commit hooks being not executed
properly. Apparently this was an unintentional change.
Furthermore, special treatment of `make` tool via the `%MAKE%`
substitution performed during hooks' deployment is still desired. Use
case is calling `remake gitconfig` to set `remake` as the `make` tool in
the hooks. To accomplish this, add a parameter that is passed from the
Makefile.inc to gitconfig.sh.
Change-Id: Ia78e06567b904b342dc9b7778569201fe02e6897
Signed-off-by: Alex Thiessen <alex.thiessen.de+coreboot@gmail.com>
Reviewed-on: https://review.coreboot.org/23096
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'src/include/adainit.h')
0 files changed, 0 insertions, 0 deletions