make distclean breaks after a clean - it shouldn't since the latter cleans

inside build/ while the former deletes build/ and Makefile.
This commit is contained in:
c-kloukinas 2025-12-02 16:40:03 +00:00
parent 5766bb9fdd
commit 5f096a5a63

View file

@ -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'