diff options
| author | Jakob Kaivo <jkk@ung.org> | 2019-02-09 08:48:42 -0500 |
|---|---|---|
| committer | Jakob Kaivo <jkk@ung.org> | 2019-02-09 08:48:42 -0500 |
| commit | 678136603ce3cfcb6095dbe98f52d3824a9dcd76 (patch) | |
| tree | bd7be98b7ddc86fb867f94dbf0f6ef47d5428176 /Makefile | |
| parent | 88e7681b02c5a1ee97ac9176c3b85371bedecb81 (diff) | |
make generated files depend on their generators
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -8,13 +8,13 @@ all: .deps.mk include deps: .headers.mk .deps.mk -.deps.mk: +.deps.mk: mk.sh sh -c '. ./mk.sh; make_deps_mk' -.headers.mk: +.headers.mk: mk.sh sh -c '. ./mk.sh; make_headers_mk' -headers include: .headers.mk +headers include: .headers.mk mkh.sh $(MAKE) -f .headers.mk headers ctags: |