diff options
author | Thomas Voss <mail@thomasvoss.com> | 2024-04-30 20:30:14 +0200 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2024-04-30 20:30:14 +0200 |
commit | e0d772e34b27dd1c9ecef5c0892e37e17e912025 (patch) | |
tree | ac0af44b007e08834798c6f8bff88272eff77fc7 | |
parent | 34c55c4d07af131c9da06c367ac2958a6090f2a3 (diff) |
Update the ‘gen’ rule
-rw-r--r-- | make.c | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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); |