aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2024-06-26 23:00:04 +0200
committerThomas Voss <mail@thomasvoss.com> 2024-06-26 23:00:04 +0200
commit44e8d5650393c4440bc6e2086520c6d7b0787caa (patch)
treeee100ca03f1119a920cfab372facde3a779e4b72
parentff415f69a93812418cc60a33dd14452fc6b2901a (diff)
Run ‘make clean’ instead of ‘make distclean’
-rw-r--r--make.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/make.c b/make.c
index be85ecf..4692189 100644
--- a/make.c
+++ b/make.c
@@ -347,7 +347,7 @@ mkgmp(int nprocs)
strszero(&cmd);
if (Fflag) {
- strspushl(&cmd, "make", "distclean");
+ strspushl(&cmd, "make", "clean");
cmdput(cmd);
if ((ret = cmdexec(cmd)) != EXIT_SUCCESS)
exit(ret);