changeset 19:0bd16b428fc0

Allow local makefile overrides in local.mk
author Guido Berhoerster <guido+sencrypt@berhoerster.name>
date Wed, 31 Jul 2019 11:21:59 +0200
parents 07f525330bc7
children c45f17f58de1
files Makefile
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile	Wed Jul 31 09:58:53 2019 +0200
+++ b/Makefile	Wed Jul 31 11:21:59 2019 +0200
@@ -145,4 +145,6 @@
 	    -s ',^\.$$,,' -s ',\./,$(DISTNAME)/,' . | \
 	    $(GZIP) > $(DISTNAME).tar.gz
 
+-include local.mk
+
 -include $(patsubst %.o,%.d,$(OBJS))