diff options
| author | John Keeping <john@keeping.me.uk> | 2015-08-13 15:54:37 +0100 |
|---|---|---|
| committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2015-08-13 17:05:12 +0200 |
| commit | c543d7dbf6bf7c8be5af829bf1d3eab494856ee0 (patch) | |
| tree | d5151e0cc7b8df4e7e53cef21b502125966b96cb | |
| 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>
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile index 74061a3..a0a6615 100644 --- a/Makefile +++ b/Makefile @@ -33,7 +33,7 @@ DOC_PDF = $(patsubst %.txt,%.pdf,$(MAN_TXT)) #-include config.mak -include git/config.mak.uname +-include git/config.mak.uname # # Let the user override the above settings. # |