diff options
author | Thomas Voss <mail@thomasvoss.com> | 2023-12-30 20:17:31 +0100 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2023-12-30 20:17:31 +0100 |
commit | 699c389edf171eef3178dfeae989a31e83cc9b70 (patch) | |
tree | 74a8d6e25a7522371d2b94f24bef42b33d97203e | |
parent | 1de8c1d2f42d6f6e4ef0c6996030c846266c194d (diff) |
Rebuild if da.h is modified
-rw-r--r-- | make.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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); |