On 5/30/19 8:33 AM, Michael Orlitzky wrote: > > Is this something that can (should?) be fixed? >
Ping, this should be reproducible. It's easy to work around, but is extremely perplexing to its victims (I spent several hours debugging, and I like to think I'm pretty good at this stuff) so I'd like to make sure that it gets tracked if we agree it's a bug. _______________________________________________ Autoconf mailing list Autoconf@gnu.org https://lists.gnu.org/mailman/listinfo/autoconf
