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 f664001b4dbb6b493c7a9a72091f88a5e5cff388..31f33dcf966b6e13760bebc666fad3571db3094b 100644 (file)
--- 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