# HG changeset patch
# User Guido Berhoerster <guido+pwm@berhoerster.name>
# Date 1564564914 -7200
# Node ID 34ada71ff3e56e63faa9da39c29a0abf45b45db3
# Parent  fa93d2ff9c6283c11479d1f4d121ff6962e0557c
Allow local makefile overrides in local.mk

diff -r fa93d2ff9c62 -r 34ada71ff3e5 Makefile
--- 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))