Change Makefile for a better clean target

1 day ago · f159f35eb2
parent 886d539ffc
commit f159f35eb2
1 changed files with 2 additions and 2 deletions
--- a/4
+++ b/4
@ -57,5 +57,5 @@ check: all
 	make check -C samples/advanced/pdegen

 clean:  cleanlib
-	(cd amgprec && $(MAKE) clean)
-	(cd cbind && $(MAKE) clean)
+	(cd amgprec && $(MAKE) veryclean)
+	(cd cbind && $(MAKE) veryclean)