On 1/17/22 04:50, Reuben Thomas wrote:
Please, to help us reproduce the issue and verify a potential fix: How to reproduce the issue? I.e. What did you try to do, and what were the resulting diagnostics?$ gcc -dM -E config.h | grep GL_EXTERN #define _GL_EXTERN_INLINE static _GL_UNUSED #define _GL_EXTERN_INLINE_STDHEADER_BUG
Could you give complete instructions from scratch, to reproduce the config.h that has this problem? Without that, it'll be hard for us to understand or fix the problem.
