From 94caab8aa92846fe54c95e932a7e09a3e7ff3d7f Mon Sep 17 00:00:00 2001 From: sfilippone Date: Thu, 20 Feb 2025 17:00:32 +0100 Subject: [PATCH] Removed make veryclean, introduced make distclean --- Makefile | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index 2dd16629..6a2ece67 100644 --- a/Makefile +++ b/Makefile @@ -44,9 +44,10 @@ cleanlib: (cd include; /bin/rm -f *.a *$(.mod) *$(.fh)) (cd modules; /bin/rm -f *.a *$(.mod) *$(.fh)) -veryclean: cleanlib - (cd amgprec && $(MAKE) veryclean) - (cd cbind && $(MAKE) veryclean) +distclean: clean samplesclean + /bin/rm -fr Make.inc + +samplesclean: clean (cd samples/simple/fileread && $(MAKE) clean) (cd samples/simple/pdegen && $(MAKE) clean) (cd samples/advanced/fileread && $(MAKE) clean) @@ -55,6 +56,6 @@ veryclean: cleanlib check: all make check -C samples/advanced/pdegen -clean: +clean: cleanlib (cd amgprec && $(MAKE) clean) (cd cbind && $(MAKE) clean)