From: guido Date: Sat, 8 Oct 2005 16:08:23 +0000 (+0000) Subject: add group to all-headers X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cc71d0e08df938b7478fec327e8ec5a3cd211b26;p=dealii-svn.git add group to all-headers git-svn-id: https://svn.dealii.org/trunk@11577 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/tests/Makefile b/tests/Makefile index 8ea8f3ca8f..2c26b456ff 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -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: