From 629a25eb4a5e43cc0ff3b12395a1ce95229e8d0d Mon Sep 17 00:00:00 2001 From: Tim Davis Date: Sun, 5 Nov 2023 07:10:08 -0600 Subject: [PATCH] top level makefile: "make distclean"; remove build/* --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 47de1ccf11..17ffbb47a9 100644 --- a/Makefile +++ b/Makefile @@ -157,6 +157,7 @@ purge: - ( cd ParU && $(MAKE) purge ) - ( cd LAGraph && $(MAKE) purge ) - $(RM) -r include/* bin/* lib/* + - $(RM) -r build/* clean: purge