diff options
| author | Jakob Kaivo <jkk@ung.org> | 2019-01-31 21:24:13 -0500 |
|---|---|---|
| committer | Jakob Kaivo <jkk@ung.org> | 2019-01-31 21:24:13 -0500 |
| commit | 46e585e461574e404d88951cd8d6b36816b8e231 (patch) | |
| tree | 35ce39f19c0e3a63c57a0406ad66bc81e64d7533 /Makefile | |
| parent | 946b224e917a78612362eb1a7cd2b8fe17d4e080 (diff) | |
don't rebuild headers for every source file change
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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 $@ |