aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2024-06-08 02:35:10 +0200
committerThomas Voss <mail@thomasvoss.com> 2024-06-08 02:35:10 +0200
commit558b83ac8016f45237549b6c4531d2c0c5bea007 (patch)
treec26defe65953715a92a435494b0cd7d2f0fec667
parentbd5a2308f2873c6b28527d5cebd2d2d160ebf9ba (diff)
Don’t run wdth.c
-rw-r--r--make.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/make.c b/make.c
index ce4524f..6738a4d 100644
--- a/make.c
+++ b/make.c
@@ -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"))