# HG changeset patch # User Guido Berhoerster # Date 1564564910 -7200 # Node ID 0feba0fea9d048f9089ea10d3c38abc5265078b2 # Parent ec5c1b653ee6fc81c63640e4bb268cb9f489e20e Allow local makefile overrides in local.mk diff -r ec5c1b653ee6 -r 0feba0fea9d0 Makefile --- a/Makefile Tue Jul 30 14:52:29 2019 +0200 +++ b/Makefile Wed Jul 31 11:21:50 2019 +0200 @@ -382,4 +382,6 @@ -s ',^\.$$,,' -s ',\./,$(DISTNAME)/,' . | \ $(GZIP) > $(DISTNAME).tar.gz +-include local.mk + -include $(patsubst %.o,%.d,$(OBJS))