diff options
| author | Peter Eisentraut | 2000-07-12 22:59:15 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2000-07-12 22:59:15 +0000 |
| commit | cb292206c5c160cde6eb5618de64f810e62f378a (patch) | |
| tree | 54e4fc4f39a97edad06ae0f8266d87c46a506d06 /doc/src | |
| parent | dce43d22f052f7c9cbbf9535c9e50aaa7e51c1d9 (diff) | |
Remove a bunch of unused configure tests, in particular cases where
* the result is not recorded anywhere
* the result is not used anywhere
* the result is only used in some places, whereas others have been getting away with it
* the result is used improperly
Also make command line options handling a little better (e.g., --disable-locale,
while redundant, should really still *dis*able).
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions