diff options
author | Marc Jones <marcj303@gmail.com> | 2017-12-13 15:21:33 -0700 |
---|---|---|
committer | Marc Jones <marc@marcjonesconsulting.com> | 2017-12-15 23:02:11 +0000 |
commit | 9ab8ae6a55681874ec194bc144077ded5363a317 (patch) | |
tree | 8c9859bbfc883f977f184bfb924b38a316291bda /src/include/boot | |
parent | ea0aa33ea3be908b54a07984dd8072ab1b284e90 (diff) |
util/gitconfig: Make gitconfig a bash script
The gitconfig target has a few bashisms and would fail
silently on systems that use a POSIX standard sh (like Ubuntu dash).
Remove the code from the makefile and put it in a bash script that
is called by the gitconfig target.
Change-Id: I3bc8cf688a3ad211b57c8ca0e6b1e86c82dc6a37
Signed-off-by: Marc Jones <marcj303@gmail.com>
Reviewed-on: https://review.coreboot.org/22857
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'src/include/boot')
0 files changed, 0 insertions, 0 deletions