coverage.sh: Fix "make check" error propagation

This commit is contained in:
Sebastian Pipping 2017-06-13 23:02:32 +02:00
parent a3e164560a
commit 51308292cd

View File

@ -85,7 +85,7 @@ _run() {
# Make sure that files overlap in report despite different build folders
sed "/SF:/ s,${build_dir}/,${source_dir}/," "${coverage_info}-all" > "${coverage_info}"
) |& sed 's,^, ,'
res=$?
res=${PIPESTATUS[0]}
if [[ ${res} -eq 0 ]]; then
echo PASSED