top level makefile: "make distclean"; remove build/*

DrTimothyAldenDavis · Nov 5, 2023 · 629a25e · 629a25e
1 parent d3495dc
commit 629a25e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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