OSDN Git Service

Fix configure problem.
authorBruce Momjian <bruce@momjian.us>
Sun, 18 Jul 1999 20:43:13 +0000 (20:43 +0000)
committerBruce Momjian <bruce@momjian.us>
Sun, 18 Jul 1999 20:43:13 +0000 (20:43 +0000)
commit7badb1e792acfadec6e86214ca1292e8465b7f97
tree4f28c970b74abc2ff6ef712e34f633d393a3a085
parentb721c9e164c47717e18bcdd9c5827a5f702cbd81
Fix configure problem.
src/backend/port/isinf.c
src/configure.in
src/include/config.h.in