On 30 December 2013 01:20, Paul Eggert <egg...@cs.ucla.edu> wrote: > Reuben Thomas wrote: > >> It's been drawn to my attention that under some circumstances, gnulib >> fails >> to include progname when it's needed >> > > That's documented here: > > http://www.gnu.org/software/gnulib/manual/html_node/error- > and-progname.html >
Thanks. Could it be documented in a warning message (either produced by gnulib-tool or at compile time)? The way it fails gives no reason to suspect it's not a bug. -- http://rrt.sc3d.org
