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

deal.II/common/scripts/diffsearch

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

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.