]> https://gitweb.dealii.org/ - dealii.git/commitdiff
add group to all-headers
authorGuido Kanschat <dr.guido.kanschat@gmail.com>
Sat, 8 Oct 2005 16:08:23 +0000 (16:08 +0000)
committerGuido Kanschat <dr.guido.kanschat@gmail.com>
Sat, 8 Oct 2005 16:08:23 +0000 (16:08 +0000)
git-svn-id: https://svn.dealii.org/trunk@11577 0785d39b-7218-0410-832d-ea1e28bc413d

tests/Makefile

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

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.