diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2000-08-28 11:53:23 +0000 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2000-08-28 11:53:23 +0000 |
| commit | f03fc94e7df1078959a4fa4a4b5c4e02b09a2bc1 (patch) | |
| tree | 1aadad9c51a781f608d1820000a4478dbf00aa83 /src/backend/commands | |
| parent | 4c8d2f7f7b129d8fd679bb970345593ac6190725 (diff) | |
| download | postgresql-f03fc94e7df1078959a4fa4a4b5c4e02b09a2bc1.tar.gz postgresql-f03fc94e7df1078959a4fa4a4b5c4e02b09a2bc1.zip | |
New configure test for flex, which recognizes only flex but does so in all
incarnations (I hope). When an acceptable flex version is not found, print
instructive error messages from both configure and the makefiles, so that
users can continue building anyway.
Diffstat (limited to 'src/backend/commands')
0 files changed, 0 insertions, 0 deletions