From fce5a1680ac2377d47ddaeff56771d60075aa848 Mon Sep 17 00:00:00 2001 From: Guido Kanschat Date: Sat, 8 Oct 2005 16:08:23 +0000 Subject: [PATCH] add group to all-headers git-svn-id: https://svn.dealii.org/trunk@11577 0785d39b-7218-0410-832d-ea1e28bc413d --- tests/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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: -- 2.39.5