From f39607b0f4ca407295028ec03a109986484a68c0 Mon Sep 17 00:00:00 2001 From: Jakob Kaivo Date: Sat, 9 Feb 2019 08:26:18 -0500 Subject: separate generation of .headers.mk and .deps.mk --- Makefile | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 15f449da..b9db4a92 100644 --- a/Makefile +++ b/Makefile @@ -6,8 +6,13 @@ include config.mk all: .deps.mk include $(MAKE) -f .deps.mk $@ -deps .headers.mk .deps.mk: - sh mkdeps.sh +deps: .headers.mk .deps.mk + +.deps.mk: + sh -c '. ./mk.sh; make_deps_mk' + +.headers.mk: + sh -c '. ./mk.sh; make_headers_mk' headers include: .headers.mk $(MAKE) -f .headers.mk headers -- cgit v1.2.1