diff options
author | Thomas Voss <mail@thomasvoss.com> | 2024-06-08 02:35:10 +0200 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2024-06-08 02:35:10 +0200 |
commit | 558b83ac8016f45237549b6c4531d2c0c5bea007 (patch) | |
tree | c26defe65953715a92a435494b0cd7d2f0fec667 | |
parent | bd5a2308f2873c6b28527d5cebd2d2d160ebf9ba (diff) |
Don’t run wdth.c
-rw-r--r-- | make.c | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -85,7 +85,8 @@ main(int argc, char **argv) } else if (streq(*argv, "gen")) { cmdadd(&c, "find", "gen", "-mindepth", "2", "-type", "f", "-executable", "-not", "(", "-name", "scale", "-or", "-name", - "bool-props.py", ")", "-exec", "{}", ";"); + "bool-props.py", "-or", "-name", "wdth.c", ")", "-exec", + "{}", ";"); } else if (streq(*argv, "test")) cmdadd(&c, "./test/run-tests"); else if (streq(*argv, "manstall")) |