changeset 34:34ada71ff3e5

Allow local makefile overrides in local.mk
author Guido Berhoerster <guido+pwm@berhoerster.name>
date Wed, 31 Jul 2019 11:21:54 +0200
parents fa93d2ff9c62
children 2a8298bafec2
files Makefile
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile	Tue Jul 30 20:38:08 2019 +0200
+++ b/Makefile	Wed Jul 31 11:21:54 2019 +0200
@@ -287,4 +287,6 @@
 	    -s ',^\.$$,,' -s ',\./,$(DISTNAME)/,' . | \
 	    $(GZIP) > $(DISTNAME).tar.gz
 
+-include local.mk
+
 -include $(patsubst %.o,%.d,$(OBJS))