From: Guido Kanschat Date: Mon, 19 Jun 2006 19:31:39 +0000 (+0000) Subject: and add missing space X-Git-Tag: v8.0.0~11646 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0babf10452aec73e86c3dd5704de60645654e69a;p=dealii.git and add missing space git-svn-id: https://svn.dealii.org/trunk@13278 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/common/scripts/diffsearch b/deal.II/common/scripts/diffsearch index c7214b5aba..fd5d7419be 100755 --- a/deal.II/common/scripts/diffsearch +++ b/deal.II/common/scripts/diffsearch @@ -32,7 +32,7 @@ done if test -r $1/OK; then okname=`cat $1/OK` if test "x$okname" != "x" ; then - result="$resul $okname" + result=" $result $okname" if diff $diffopt $1/output $1/cmp/$okname > $diffout ; then touch $1/OK echo $result @@ -46,7 +46,7 @@ fi for file in `cd $1/cmp ; ls` ; do if test -f $1/cmp/$file ; then - result="$result $file" + result=" $result $file" if diff $diffopt $1/output $1/cmp/$file > $diffout ; then echo $file > $1/OK echo $result