diff options
author | Thomas Voss <mail@thomasvoss.com> | 2024-06-26 23:00:04 +0200 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2024-06-26 23:00:04 +0200 |
commit | 44e8d5650393c4440bc6e2086520c6d7b0787caa (patch) | |
tree | ee100ca03f1119a920cfab372facde3a779e4b72 | |
parent | ff415f69a93812418cc60a33dd14452fc6b2901a (diff) |
Run ‘make clean’ instead of ‘make distclean’
-rw-r--r-- | make.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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); |