diff options
| author | Noah Misch <noah@leadboat.com> | 2018-12-31 13:54:38 -0800 |
|---|---|---|
| committer | Noah Misch <noah@leadboat.com> | 2018-12-31 13:57:57 -0800 |
| commit | bedda9fbb76897c987c720aed6551dff48d4cfb4 (patch) | |
| tree | d0b98388580a98fb6aaf266cead32f7f4dcba7f7 /src/backend/executor/nodeSetOp.c | |
| parent | e7ebc8c285f12b0f50924a69627a40050c85a1e2 (diff) | |
Process EXTRA_INSTALL serially, during the first temp-install.
This closes a race condition in "make -j check-world"; the symptom was
EEXIST errors. Back-patch to v10, before which parallel check-world had
worse problems.
Discussion: https://postgr.es/m/20181224221601.GA3227827@rfd.leadboat.com
Diffstat (limited to 'src/backend/executor/nodeSetOp.c')
0 files changed, 0 insertions, 0 deletions