diff options
author | Tom Lane | 2017-08-05 15:47:28 +0000 |
---|---|---|
committer | Tom Lane | 2017-08-05 15:48:43 +0000 |
commit | f4f41baf29c6835dca58e3aa22c56e9e7c7754de (patch) | |
tree | 2c484f45687365dac6fc33c28c16ac2beb4de29a /doc/src | |
parent | 52f8a59dd953c6820baf153e97cf07d31b8ac1d6 (diff) |
Improve configure's check for ICU presence.
Without ICU's header files, "configure --with-icu" would succeed anyway,
at least when using the non-pkgconfig-based setup. Then you got a bunch of
ugly failures at build. Add an explicit header check to tighten that up.
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions