On Jun 8, 2024, at 12:38 PM, Paul Eggert <egg...@cs.ucla.edu> wrote: > (Moving this from <https://savannah.gnu.org/support/?111072> to > <mailto:bug-gnulib@gnu.org> because it's Gnulib, not Autoconf.]
Wait a minute: at the top of the generated config.h (which is where _GL_ATTRIBUTE_NODISCARD is defined), it says: /* src/config.h. Generated from config.h.in by configure. */ /* src/config.h.in. Generated from configure.ac by autoheader. */ And autoheader is part of autoconf — so why is this a GnuLib problem? - Paul
