diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-05 10:39:40 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-10 10:14:23 +0100 |
| commit | c1cec55e8930a0efebb8cf4dcd1bf85aea2b8e62 (patch) | |
| tree | 3b2b17aea5e09132760d9ffb59456a53225036eb /Makefile | |
| parent | ce9a5fe4579856fff9bc3c694c09098a1e61943f (diff) | |
| download | sparse-dev-c1cec55e8930a0efebb8cf4dcd1bf85aea2b8e62.tar.gz | |
build: allow the name 'local.mk' to be configurable via the environment
So people who like this file to be a hidden one or to be an
out-of-tree file or simply who don't like the name, can choose
whatever suits them the best.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -25,7 +25,8 @@ MAN1DIR=$(MANDIR)/man1 # # CFLAGS += -O0 -DDEBUG -g3 -gdwarf-2 # --include local.mk +SPARSE_LOCAL_CONFIG ?= local.mk +-include ${SPARSE_LOCAL_CONFIG} ######################################################################## |