From: guido Date: Mon, 19 Jun 2006 18:04:16 +0000 (+0000) Subject: ignore CVS directories and add newline X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=984e796a1da68c0be44e932bbc40f1cb7d655303;p=dealii-svn.git ignore CVS directories and add newline git-svn-id: https://svn.dealii.org/trunk@13275 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/common/scripts/diffsearch b/deal.II/common/scripts/diffsearch index 2d7a0b9090..fb1bac6dea 100755 --- a/deal.II/common/scripts/diffsearch +++ b/deal.II/common/scripts/diffsearch @@ -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