diff options
| author | Jakob Kaivo <jkk@ung.org> | 2020-08-12 12:53:45 -0400 |
|---|---|---|
| committer | Jakob Kaivo <jkk@ung.org> | 2020-08-12 12:53:45 -0400 |
| commit | 1f25d48f6f5a0616a24cec7dbc8e902177e48079 (patch) | |
| tree | 0a00b03fc4864724fe4e56af2340a327c9042da5 /Makefile | |
| parent | 60c3831e53b7afa5dd372601250e7e8739329383 (diff) | |
stop generating headers so often
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -15,8 +15,8 @@ $(TOPDIR)/.deps.mk: $(TOPDIR)/mk.sh $(TOPDIR)/.headers.mk: $(TOPDIR)/mk.sh sh -c '. $(TOPDIR)/mk.sh; cd $(TOPDIR); make_headers_mk' -headers $(INCDIR): $(TOPDIR)/.headers.mk $(TOPDIR)/mkh.sh - $(MAKE) -f $(TOPDIR)/.headers.mk headers +#headers $(INCDIR): $(TOPDIR)/.headers.mk $(TOPDIR)/mkh.sh +# $(MAKE) -f $(TOPDIR)/.headers.mk headers test: $(MAKE) all |