While having a parallel-make-safe genbki.sh is good, it's better not to
Peter Eisentraut <peter_e@gmx.net>
While having a parallel-make-safe genbki.sh is good, it's better not to uselessly invoke it in parallel in the first place.
Files
| Path | Change | +/− |
|---|---|---|
| src/backend/catalog/Makefile | modified | +5 −2 |