From: bangerth Date: Wed, 10 Nov 2010 19:19:18 +0000 (+0000) Subject: Use a more elegant way to do nothing. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2811179fe56a8576f3727c99b2124ee9d4dca760;p=dealii-svn.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