From 558b83ac8016f45237549b6c4531d2c0c5bea007 Mon Sep 17 00:00:00 2001 From: Thomas Voss Date: Sat, 8 Jun 2024 02:35:10 +0200 Subject: Don’t run wdth.c MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- make.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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")) -- cgit v1.2.3