From 47192f6c528a08a6793cd6c31604f2848024364b Mon Sep 17 00:00:00 2001 From: Adam Dickmeiss Date: Thu, 31 May 2012 15:57:53 +0200 Subject: [PATCH] Just delete diff file when created and empty --- test/run_pazpar2.sh | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/test/run_pazpar2.sh b/test/run_pazpar2.sh index ff03af6..fe58c6a 100755 --- a/test/run_pazpar2.sh +++ b/test/run_pazpar2.sh @@ -104,7 +104,7 @@ for f in `cat ${srcdir}/${URLS}`; do fi if test -f $OUT1; then if diff $OUT1 $OUT2 >$DIFF; then - : + rm $DIFF else echo "Test $testno: Failed. See $OUT1, $OUT2 and $DIFF" echo "URL: $f" @@ -152,9 +152,6 @@ if [ -z "$SKIP_PAZPAR2" ] ; then sleep 2 fi -# clean out empty diff files -find . -name "$TEST*.dif" -size 0c -print|xargs rm - exit $code # Local Variables: -- 1.7.10.4