[petsc-dev] make test check-test-errors returning $? = 0

[Pierre Jolivet]

Hello,
When a tests fails because the timeout limit is reached, check-test-errors still returns a 0 exit code.
Is this intended? Any way to bypass this and return something different than 0, as it could return false negative in CI tests?

Thanks,
Pierre

$ make -f gmakefile test s='ksp_ksp_tutorials-ex2_1' EXTRA_OPTIONS="-m 200 -n 200" check-test-errors 2>&1 > /dev/null; echo $?
make: *** [check-test-errors] Error 1
2
$ make -f gmakefile test s='ksp_ksp_tutorials-ex2_1' EXTRA_OPTIONS="-m 200 -n 200" check-test-errors TIMEOUT=1 2>&1 > /dev/null; echo $?
0