From 253d4aca9f0580b46bf8708d7417874bcdee9959 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Wed, 7 Dec 2005 17:21:21 +0000 Subject: [PATCH] Really add the space Guido wants. git-svn-id: https://svn.dealii.org/trunk@11836 0785d39b-7218-0410-832d-ea1e28bc413d --- tests/Makefile.rules | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/Makefile.rules b/tests/Makefile.rules index 1b5147da7c..a5b477868b 100644 --- a/tests/Makefile.rules +++ b/tests/Makefile.rules @@ -136,9 +136,9 @@ endif report: @for test in $(sort $(tests)) ; do \ if (($(MAKE) $$test/OK stop_on_error=on 2>&1) > /dev/null); then \ - echo `date -u +"%Y-%m-%d %H:%M"` + $(WORKDIR)/$$test ; \ + echo `date -u +"%Y-%m-%d %H:%M"` " + $(WORKDIR)/$$test" ; \ else \ - echo `date -u +"%Y-%m-%d %H:%M"` - $(WORKDIR)/$$test ; \ + echo `date -u +"%Y-%m-%d %H:%M"` " - $(WORKDIR)/$$test" ; \ fi ; \ done -- 2.39.5