On 2024-10-19 18:23, Bruno Haible wrote:
Well, if we go for some VARIABLE=VALUE option that is not visible through './configure --help', it could be the name of some cache variable: gl_cv_realloc_sanitize=yesWould that be OK?
Yes, I think so.
On 2024-10-19 18:23, Bruno Haible wrote:
Well, if we go for some VARIABLE=VALUE option that is not visible through './configure --help', it could be the name of some cache variable: gl_cv_realloc_sanitize=yesWould that be OK?
Yes, I think so.