]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Hide the actual command.
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Sat, 8 Oct 2005 06:15:36 +0000 (06:15 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Sat, 8 Oct 2005 06:15:36 +0000 (06:15 +0000)
git-svn-id: https://svn.dealii.org/trunk@11575 0785d39b-7218-0410-832d-ea1e28bc413d

tests/Makefile

index 31be221b2f3942d9a20cb9bc8a30d6646937b511..8ea8f3ca8fd9fcc857d603366d17e0c0c0ed6a9f 100644 (file)
@@ -28,7 +28,7 @@ report: compare abort.o
                cd $$i ; $(MAKE) report ; cd .. ; \
         done
        @echo =======Report: all-headers =======
-        if (($(MAKE) all-headers 2>&1) > /dev/null) ; then \
+       @if (($(MAKE) all-headers 2>&1) > /dev/null) ; then \
                echo `date -u +"%Y-%m-%d %H:%M"` + all-headers ; \
         else \
                echo `date -u +"%Y-%m-%d %H:%M"` - all-headers ; \

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.