diff options
| author | John Keeping <john@keeping.me.uk> | 2015-08-13 17:54:37 +0300 |
|---|---|---|
| committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2015-08-13 18:05:12 +0300 |
| commit | c543d7dbf6bf7c8be5af829bf1d3eab494856ee0 (patch) | |
| tree | d5151e0cc7b8df4e7e53cef21b502125966b96cb /git | |
| parent | a360666df3cfcd1b384cd66b18803d72e3893b3d (diff) | |
Makefile: make "git/config.mak.uname" inclusion optional
If we haven't got a "git" directory, it should still be possible to run
"make get-git", so we cannot include this file unconditionally.
Signed-off-by: John Keeping <john@keeping.me.uk>
Diffstat (limited to 'git')
0 files changed, 0 insertions, 0 deletions