aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2023-12-30 20:17:31 +0100
committerThomas Voss <mail@thomasvoss.com> 2023-12-30 20:17:31 +0100
commit699c389edf171eef3178dfeae989a31e83cc9b70 (patch)
tree74a8d6e25a7522371d2b94f24bef42b33d97203e
parent1de8c1d2f42d6f6e4ef0c6996030c846266c194d (diff)
Rebuild if da.h is modified
-rw-r--r--make.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/make.c b/make.c
index 08c883d..8ddd72c 100644
--- a/make.c
+++ b/make.c
@@ -69,7 +69,7 @@ main(int argc, char **argv)
cmdprc(c);
}
} else {
- if (foutdated("grab", "grab.c")) {
+ if (foutdated("grab", "grab.c", "da.h")) {
cmdadd(&c, CC, WFLAGS);
if (debug)
cmdadd(&c, DFLAGS);