diff options
| author | Thomas Munro | 2022-08-15 22:53:29 +0000 |
|---|---|---|
| committer | Thomas Munro | 2022-08-15 22:53:29 +0000 |
| commit | 3eae0cbf7e70db885c4ec37e0863022d3ad589d4 (patch) | |
| tree | fbd43c57fd5d83739fb9b64ab3f2a8f50937069f /config/Makefile | |
| parent | 75ca8c14576238926e1f4c2e80c11dd23a1911c3 (diff) | |
Fix headerscheck and cpluspluscheck's exit codes.
For the benefit of CI, which started running these header check scripts
in its CompilerWarnings task in commit 81b9f23c9c8, they should report
failure if any individual header failed to compile.
Reviewed-by: Andrew Dunstan <[email protected]>
Reviewed-by: Andres Freund <[email protected]>
Discussion: https://postgr.es/m/CA%2BhUKGKtDwPo9wzKgbStDwfOhEpywMc6PQofio8fAHR7yUjgxw%40mail.gmail.com
Diffstat (limited to 'config/Makefile')
0 files changed, 0 insertions, 0 deletions