Hi Bruno, Bruno Haible via Gnulib discussion list <bug-gnulib@gnu.org> writes:
> I picked approach c), and committed the two attached patches. Tested both > without libtool (in a testdir) and with libtool (in some package that uses > gnulib for some shared library). Would __attribute__ ((target ("..."))) not work here? Collin