From 1f25d48f6f5a0616a24cec7dbc8e902177e48079 Mon Sep 17 00:00:00 2001
From: Jakob Kaivo <jkk@ung.org>
Date: Wed, 12 Aug 2020 12:53:45 -0400
Subject: stop generating headers so often

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 97709837..c07b6faf 100644
--- a/Makefile
+++ b/Makefile
@@ -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
-- 
cgit v1.2.1