----- Mail original ----- > De: "Ben Elliston" <b...@air.net.au> > À: "Gilles Espinasse" <g....@free.fr> > Cc: dejagnu@gnu.org > Envoyé: Mercredi 27 Mars 2013 21:27:19 > Objet: Re: [PATCH] dejagnu : silent global config file warning > > On Wed, Mar 27, 2013 at 06:59:31PM +0100, Gilles Espinasse wrote: > > > While running make check for dejagnu, this remove that line : > > WARNING: Couldn't find the global config file. > > Rather than create a dummy file (which you didn't include, but I > assume is an empty file), why not just set DEJAGNU to /dev/null? > That works equally well to supress the warning. Please revise the patch. > > Cheers, Ben > Thank for the advice, I send a V2.
Sorry, global-conf.exp file was empty and was first correctly added. But I remade the commit and forgot. How is the git tree boostrapped? I find no doc how this is made. If I run aclocal && automake --add-missing && autoconf, example configure(s) are chained. Gilles _______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
