diff options
| author | Patrick Georgi <pgeorgi@google.com> | 2015-03-04 15:03:05 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2015-03-05 15:15:47 +0100 |
| commit | 1b770fb4b5a83042a6007cd9d263bfdf078822ad (patch) | |
| tree | 7d908897550a9c3105e4ccc15373e469a1e7e1b2 /Makefile.inc | |
| parent | c0e394b7425b40c7d6c49d170054b71200d20515 (diff) | |
build system: Only setup git hooks if we're in a git checkout
A bit crude test, but before we would have _created_ .git
and confused later git presence tests.
Change-Id: Iec882d0e38ce1bd227cae8c1e541fb21be085290
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: http://review.coreboot.org/8601
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'Makefile.inc')
| -rw-r--r-- | Makefile.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.inc b/Makefile.inc index 951cfeef3f..eb8b6014f7 100644 --- a/Makefile.inc +++ b/Makefile.inc @@ -436,6 +436,7 @@ lint lint-stable: rm -f $$LINTLOG gitconfig: + [ -d .git ] mkdir -p .git/hooks for hook in commit-msg pre-commit ; do \ if [ util/gitconfig/$$hook -nt .git/hooks/$$hook -o \ |