]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Delete libs differently: since $(LIBDIR) is not in CVS, we can't have
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Wed, 4 Apr 2001 13:57:42 +0000 (13:57 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Wed, 4 Apr 2001 13:57:42 +0000 (13:57 +0000)
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

index 5297e0a90c3fe3d92cf3e054c47edfb1046f4082..fd0a01e08c88bb99128d734ca783d86803d1da39 100644 (file)
@@ -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 \

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.