From 5f096a5a636508f6d6dab794d0d50300812504ec Mon Sep 17 00:00:00 2001 From: c-kloukinas Date: Tue, 2 Dec 2025 16:40:03 +0000 Subject: [PATCH] make distclean breaks after a clean - it shouldn't since the latter cleans inside build/ while the former deletes build/ and Makefile. --- Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index 2d67d7201..fd634ce53 100644 --- a/Makefile.in +++ b/Makefile.in @@ -101,7 +101,7 @@ clean: # `make distclean' should leave only the files that were in the # distribution. -distclean: clean +distclean: rm -rf build Makefile # `realclean'