From 984e796a1da68c0be44e932bbc40f1cb7d655303 Mon Sep 17 00:00:00 2001 From: guido Date: Mon, 19 Jun 2006 18:04:16 +0000 Subject: [PATCH] ignore CVS directories and add newline git-svn-id: https://svn.dealii.org/trunk@13275 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/common/scripts/diffsearch | 17 ++++++++++++----- 1 file changed, 12 insertions(+), 5 deletions(-) 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 -- 2.39.5