From 46e585e461574e404d88951cd8d6b36816b8e231 Mon Sep 17 00:00:00 2001
From: Jakob Kaivo <jkk@ung.org>
Date: Thu, 31 Jan 2019 21:24:13 -0500
Subject: don't rebuild headers for every source file change

---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 2241f807..8216270e 100644
--- a/Makefile
+++ b/Makefile
@@ -7,7 +7,7 @@ include config.mk
 INCLUDES=-I$(INCDIR) -I. -Inonstd/stubs
 CFLAGS=$(INCLUDES) -g -fno-builtin -nostdinc -nostdlib -nodefaultlibs -Werror -Wall -Wextra -fPIC -D_POSIX_SOURCE
 
-all: .deps.mk headers
+all: .deps.mk include
 	@$(MAKE) -f .deps.mk $@
 
 .deps.mk:
@@ -23,6 +23,9 @@ deps:
 tags:
 	ctags $$(find src -name \*.c)
 
+include:
+	$(MAKE) headers
+
 headers: .headers.mk
 	@$(MAKE) -f .headers.mk $@
 
-- 
cgit v1.2.1