Re: regression.out and regression.diff

Peter Eisentraut <peter_e@gmx.net> writes:
>> Either way my question still needs to be answered.  If there are no
>> errors, is regression.out and regression.diff deleted?  I can see the
>> diff file being empty, but deleted?

> The diff file always exists; if all tests passed, it's empty.

Forgot your own code already, Peter?

if [ -s "$diff_file" ]; then   echo "The differences that caused some tests to fail can be viewed in the"   echo "file
\`$diff_file'. A copy of the test summary that you see"   echo "above is saved in the file \`$result_summary_file'."
echo
else   rm -f "$diff_file" "$result_summary_file"
fi

        regards, tom lane