diff options
| author | Noah Misch | 2018-12-31 21:54:38 +0000 |
|---|---|---|
| committer | Noah Misch | 2018-12-31 21:54:38 +0000 |
| commit | aa019da523912876ec20129f28b3b1657ba6f263 (patch) | |
| tree | 21dcd07e2d3b2f2d63a7c00e6e97bd8c183869fd /src/backend/commands | |
| parent | 76f7b0b08ac44733193bfb0b0d61dd2b32cdc21b (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/commands')
0 files changed, 0 insertions, 0 deletions