diff options
| author | Peter Eisentraut | 2012-11-01 03:33:35 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2012-11-01 03:33:35 +0000 |
| commit | 1eb1dde049ccfffc42c80c2bcec14155c58bcc1f (patch) | |
| tree | 450adae14f7861006563852df9e054dbcaa2d539 /src/backend/optimizer | |
| parent | 2f1692d213a90d7441fd2940f2c43d100b90c607 (diff) | |
Have make never delete intermediate files automatically
Several hacks in certain modes already thought this was a bad idea, so
just disable it globally.
Diffstat (limited to 'src/backend/optimizer')
0 files changed, 0 insertions, 0 deletions