diff options
| author | Alex Thiessen <alex.thiessen.de+coreboot@gmail.com> | 2018-01-14 10:38:30 +0000 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2018-01-22 12:32:00 +0000 |
| commit | a90e5ebde43fe22e91ef934151d251b13bef6beb (patch) | |
| tree | b4acd7f11e79f587fb55fea16064accb6e766348 /util | |
| parent | d1eca65908464d1760db96b0aa3b2b3dbfcc4c4a (diff) | |
Makefile.inc: Improve git worktree check
`Makefile.inc` checks for `.git` to be present under $(top) to define
the value of $GIT. This check is rather weak and doesn't handle many
edge cases like that of a broken gitfile.
Add a proper `git rev-parse` call to check the condition.
Change-Id: Ifd6da19f13d9f2a9fddb6afd7cb5f16daba2401e
Signed-off-by: Alex Thiessen <alex.thiessen.de+coreboot@gmail.com>
Reviewed-on: https://review.coreboot.org/23254
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions