From: Wolfgang Bangerth <bangerth@math.tamu.edu>
Date: Wed, 10 Nov 2010 19:19:18 +0000 (+0000)
Subject: Use a more elegant way to do nothing.
X-Git-Tag: v8.0.0~4974
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ab96ca8c4b208eb37bd9cf0907dda7ca7b6e0d52;p=dealii.git

Use a more elegant way to do nothing.


git-svn-id: https://svn.dealii.org/trunk@22683 0785d39b-7218-0410-832d-ea1e28bc413d
---

diff --git a/deal.II/Makefile b/deal.II/Makefile
index f664001b4d..31f33dcf96 100644
--- a/deal.II/Makefile
+++ b/deal.II/Makefile
@@ -27,7 +27,7 @@ help:
 deps:
 	cd common/scripts && $(MAKE) $(MAKEOPTIONS)
 	@cd source && if $(MAKE) $(MAKEOPTIONS) Makefile.dep;\
-	  then echo > /dev/null ;\
+	  then : ;\
 	  else rm Makefile.dep && $(MAKE) $(MAKEOPTIONS) Makefile.dep; fi
 	cd lib && $(MAKE) $(MAKEOPTIONS) external-links