From: Guido Kanschat Date: Sat, 8 Oct 2005 16:08:23 +0000 (+0000) Subject: add group to all-headers X-Git-Tag: v8.0.0~13026 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fce5a1680ac2377d47ddaeff56771d60075aa848;p=dealii.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: