aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2024-04-30 20:30:14 +0200
committerThomas Voss <mail@thomasvoss.com> 2024-04-30 20:30:14 +0200
commite0d772e34b27dd1c9ecef5c0892e37e17e912025 (patch)
treeac0af44b007e08834798c6f8bff88272eff77fc7
parent34c55c4d07af131c9da06c367ac2958a6090f2a3 (diff)
Update the ‘gen’ rule
-rw-r--r--make.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/make.c b/make.c
index 255fb21..5e0e0ff 100644
--- a/make.c
+++ b/make.c
@@ -81,7 +81,8 @@ main(int argc, char **argv)
"*.so", ")", "-delete");
} else if (streq(*argv, "gen")) {
cmdadd(&c, "find", "gen", "-mindepth", "2", "-type", "f",
- "-executable", "-not", "-name", "scale", "-exec", "{}", ";");
+ "-executable", "-not", "(", "-name", "scale", "-or", "-name",
+ "bool-props.py", ")", "-exec", "{}", ";");
} else
diex("invalid subcommand — ‘%s’", *argv);
cmdput(c);