From b3112cd8e3a764bb82006689bd4e1dc1f0adf39e Mon Sep 17 00:00:00 2001 From: guido Date: Mon, 19 Jun 2006 18:20:52 +0000 Subject: [PATCH] and add missing space git-svn-id: https://svn.dealii.org/trunk@13277 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/common/scripts/diffsearch | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/deal.II/common/scripts/diffsearch b/deal.II/common/scripts/diffsearch index fb1bac6dea..c7214b5aba 100755 --- a/deal.II/common/scripts/diffsearch +++ b/deal.II/common/scripts/diffsearch @@ -18,6 +18,7 @@ diffout="/dev/null" diffopt="" +result=" " for arg in $* ; do if test "x$arg" = "x-v" ; then @@ -31,10 +32,10 @@ done if test -r $1/OK; then okname=`cat $1/OK` if test "x$okname" != "x" ; then - echo -n " $okname" + result="$resul $okname" if diff $diffopt $1/output $1/cmp/$okname > $diffout ; then touch $1/OK - echo + echo $result exit 0 ; fi fi @@ -45,10 +46,10 @@ fi for file in `cd $1/cmp ; ls` ; do if test -f $1/cmp/$file ; then - echo -n " $file" + result="$result $file" if diff $diffopt $1/output $1/cmp/$file > $diffout ; then echo $file > $1/OK - echo + echo $result exit 0 ; fi fi @@ -56,6 +57,6 @@ done # All files failed -echo +echo $result exit 1 -- 2.39.5