diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-08-16 14:21:45 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-08-16 14:21:45 -0400 |
| commit | b2af4bc802e13202a5973a214efab77a451188a8 (patch) | |
| tree | b912468992b87a6ca75559ac49088fa470cb41eb | |
| parent | c426a08f5b376d0ef759698dbaf658d3143ddaac (diff) | |
Be less aggressive about recompilation when CHANGES.md updates
| -rw-r--r-- | Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -136,7 +136,12 @@ tags: config.mk: configure.sh bash ./configure.sh -%.o: %.c src/ast.h src/environment.h src/types.h config.mk CHANGES.md +%.o: %.c src/ast.h src/environment.h src/types.h config.mk + @echo $(CC) $(CFLAGS_PLACEHOLDER) -c $< -o $@ + @$(CC) $(CFLAGS) -c $< -o $@ + +# Specifically src/tomo.c needs to recompile if CHANGES.md changes: +src/tomo.o: src/tomo.c src/ast.h src/environment.h src/types.h config.mk CHANGES.md @echo $(CC) $(CFLAGS_PLACEHOLDER) -c $< -o $@ @$(CC) $(CFLAGS) -c $< -o $@ |