From 2811179fe56a8576f3727c99b2124ee9d4dca760 Mon Sep 17 00:00:00 2001 From: bangerth Date: Wed, 10 Nov 2010 19:19:18 +0000 Subject: [PATCH] Use a more elegant way to do nothing. git-svn-id: https://svn.dealii.org/trunk@22683 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 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 -- 2.39.5