]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Use a more elegant way to do nothing.
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Wed, 10 Nov 2010 19:19:18 +0000 (19:19 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Wed, 10 Nov 2010 19:19:18 +0000 (19:19 +0000)
git-svn-id: https://svn.dealii.org/trunk@22683 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/Makefile

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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.