From: guido Date: Mon, 19 Jun 2006 19:31:39 +0000 (+0000) Subject: and add missing space X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=55858a044b775cc1ed1a2579bf8f56c027d36e29;p=dealii-svn.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