Browse Source
make_check_wrapper.sh + `make dist` does not replace make distcheck. `make distcheck` is used as single source of truth. To still get stack traces, move `make check` outside of the script and retrieve the exit code of `make distcheck`. This should catch issues like #27470 upfront.pull/141/head
committed by
Steve Lhomme
2 changed files with 14 additions and 17 deletions
Loading…
Reference in new issue