diff options
| author | Peter Eisentraut | 2000-07-13 16:07:14 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2000-07-13 16:07:14 +0000 |
| commit | 8a3cbc84efdf3ba205b5aece838ffbe1d548e851 (patch) | |
| tree | 7aaf56fd94baa0097c1bb0682998fc9b27be2c97 /doc/src | |
| parent | 9191d684a7dad1bba82427b760ff61912df1d7d0 (diff) | |
Repair parallel make in backend tree (and make it really parallel).
Make Gen_fmgrtab.sh reasonably robust against concurrent invocation.
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions