From: Wolfgang Bangerth 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