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=yes

Would that be OK?

Yes, I think so.

Reply via email to