]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
and add missing space
authorguido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 19 Jun 2006 19:31:39 +0000 (19:31 +0000)
committerguido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 19 Jun 2006 19:31:39 +0000 (19:31 +0000)
git-svn-id: https://svn.dealii.org/trunk@13278 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/common/scripts/diffsearch

index c7214b5ababe035526cfcfc0f43b688214683df8..fd5d7419be64b433e3e9416f24fc58c12840c591 100755 (executable)
@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.