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@xxxxxxxxx> --- .gitignore | 1 + Makefile | 3 ++- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index ab976e76b..bc00736d7 100644 --- a/.gitignore +++ b/.gitignore @@ -37,6 +37,7 @@ series # local makefile local.mk +.*.mk # cscope and Qt files cscope.out diff --git a/Makefile b/Makefile index 7f136e87e..e4efefa1e 100644 --- a/Makefile +++ b/Makefile @@ -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} ######################################################################## -- 2.14.0 -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html