1
0
mirror of https://github.com/postgres/postgres.git synced 2025-07-30 11:03:19 +03:00

Makei configure less os-version specific, were possible.

This commit is contained in:
Bruce Momjian
1997-08-02 16:32:51 +00:00
parent 4b965f5758
commit 105889e1d8
3 changed files with 204 additions and 197 deletions

382
src/configure vendored

File diff suppressed because it is too large Load Diff