Repair parallel make in backend tree (and make it really parallel).
Peter Eisentraut <peter_e@gmx.net>
Repair parallel make in backend tree (and make it really parallel). Make Gen_fmgrtab.sh reasonably robust against concurrent invocation.
Files
| Path | Change | +/− |
|---|---|---|
| src/backend/access/Makefile | modified | +16 −40 |
| src/backend/Makefile | modified | +10 −15 |
| src/backend/optimizer/Makefile | modified | +16 −18 |
| src/backend/storage/ipc/Makefile | modified | +6 −13 |
| src/backend/storage/Makefile | modified | +16 −20 |
| src/backend/utils/adt/Makefile | modified | +5 −11 |
| src/backend/utils/Gen_fmgrtab.sh | modified | +18 −13 |
| src/backend/utils/Makefile | modified | +20 −27 |