# HG changeset patch
# User Guido Berhoerster <guido+sencrypt@berhoerster.name>
# Date 1564564919 -7200
# Node ID 0bd16b428fc05a602ddbf9ef18bd79f4ce7747f7
# Parent  07f525330bc7d2a23141063dfa32e4788f293971
Allow local makefile overrides in local.mk

diff -r 07f525330bc7 -r 0bd16b428fc0 Makefile
--- 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))