mirror of
https://github.com/postgres/postgres.git
synced 2026-05-26 18:41:28 -04:00
f03fc94e7d
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.