diff options
| author | Jakob Kaivo <jkk@ung.org> | 2019-02-09 08:26:18 -0500 |
|---|---|---|
| committer | Jakob Kaivo <jkk@ung.org> | 2019-02-09 08:26:18 -0500 |
| commit | f39607b0f4ca407295028ec03a109986484a68c0 (patch) | |
| tree | f9e6cce785db00ecf4ba2d0493b65939dd935704 /Makefile | |
| parent | 984f1e8149ac2f2b66937d2d4964120e7be7ec05 (diff) | |
separate generation of .headers.mk and .deps.mk
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 9 |
1 files changed, 7 insertions, 2 deletions
@@ -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 |