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);