makefile: "make clean" must also remove build/*

clouren · Jun 14, 2024 · 9490c5f · 9490c5f
1 parent 9c1f5c1
commit 9490c5f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -71,7 +71,7 @@ purge:
 	- ( cd AMD && $(MAKE) purge )
 	- ( cd COLAMD && $(MAKE) purge )
 	- ( cd SPEX && $(MAKE) purge )
-	- $(RM) -r include/* bin/* lib/*
+	- $(RM) -r include/* bin/* lib/* build/*
 
 clean: purge