aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/.gitignore
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2017-11-05 10:39:40 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2017-11-10 10:14:23 +0100
commitc1cec55e8930a0efebb8cf4dcd1bf85aea2b8e62 (patch)
tree3b2b17aea5e09132760d9ffb59456a53225036eb /.gitignore
parentce9a5fe4579856fff9bc3c694c09098a1e61943f (diff)
downloadsparse-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 '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index ab976e76..bc00736d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -37,6 +37,7 @@ series
# local makefile
local.mk
+.*.mk
# cscope and Qt files
cscope.out