From 44e8d5650393c4440bc6e2086520c6d7b0787caa Mon Sep 17 00:00:00 2001 From: Thomas Voss Date: Wed, 26 Jun 2024 23:00:04 +0200 Subject: Run ‘make clean’ instead of ‘make distclean’ MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- make.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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); -- cgit v1.2.3