From 04d7d30ac577990569adfcede0dfc987d24fd1d9 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Wed, 4 Apr 2001 13:57:42 +0000 Subject: [PATCH] Delete libs differently: since $(LIBDIR) is not in CVS, we can't have a Makefile there that can clean up itself. git-svn-id: https://svn.dealii.org/trunk@4372 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deal.II/Makefile b/deal.II/Makefile index 5297e0a90c..fd0a01e08c 100644 --- a/deal.II/Makefile +++ b/deal.II/Makefile @@ -173,7 +173,7 @@ clean-examples: cd $D/examples ; $(MAKE) clean clean-lib: - cd $(LIBDIR) ; $(MAKE) clean + -rm $(LIBDIR/lib* .PHONY: base baseg lac lacg 1d 2d 3d 1dg 2dg 3dg all \ -- 2.39.5