On Wed, Jan 30, 2019 at 02:41:01PM +0100, Christoph Berg wrote:
> Do we still want some CXXOPT flag for the server build? I can write a
> patch, but someone else would need to do the bikeshedding how to name
> it, and which of the existing knobs would set CXXFLAGS along. I don't
> think I need that feature.
If we don't directly need it, let's not add it now but let's revisit
the need if it proves necessary. I propose to just commit the last
patch you sent, and back-patch to ease integration with existing
extensions. Any objections?
--
Michael