mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-09 08:57:41 +08:00
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.