]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
ignore CVS directories and add newline
authorguido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 19 Jun 2006 18:04:16 +0000 (18:04 +0000)
committerguido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 19 Jun 2006 18:04:16 +0000 (18:04 +0000)
git-svn-id: https://svn.dealii.org/trunk@13275 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/common/scripts/diffsearch

index 2d7a0b9090b479dca8bdd6c9e8d18ca4bc8d53b6..fb1bac6dea880b1313cc30d6f8f1170656d66d08 100755 (executable)
@@ -31,8 +31,10 @@ done
 if test -r $1/OK; then
   okname=`cat $1/OK`
   if test "x$okname" != "x" ; then
-    echo -n " $1/cmp/$okname"
+    echo -n " $okname"
     if diff $diffopt $1/output $1/cmp/$okname > $diffout ; then
+      touch $1/OK
+      echo
       exit 0 ;
     fi
   fi
@@ -42,13 +44,18 @@ fi
 # If successful, write the name into $1/OK
 
 for file in `cd $1/cmp ; ls` ; do
-  echo -n " $1/cmp/$file"
-  if diff $diffopt $1/output $1/cmp/$file > $diffout ; then
-    echo $file > $1/OK
-    exit 0 ;
+  if test -f $1/cmp/$file ; then
+    echo -n " $file"
+    if diff $diffopt $1/output $1/cmp/$file > $diffout ; then
+      echo $file > $1/OK
+      echo
+      exit 0 ;
+    fi
   fi
 done
 
 # All files failed
+
+echo
 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.