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:54:38 -0800 |
| commit | aa019da523912876ec20129f28b3b1657ba6f263 (patch) | |
| tree | 21dcd07e2d3b2f2d63a7c00e6e97bd8c183869fd /src/makefiles | |
| 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/makefiles')
| -rw-r--r-- | src/makefiles/pgxs.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/makefiles/pgxs.mk b/src/makefiles/pgxs.mk index 7e7c54f022b..d214cb9cf2f 100644 --- a/src/makefiles/pgxs.mk +++ b/src/makefiles/pgxs.mk @@ -435,7 +435,7 @@ endif endif # PGXS ifndef NO_TEMP_INSTALL -temp-install: EXTRA_INSTALL+=$(subdir) +checkprep: EXTRA_INSTALL+=$(subdir) endif |