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
signature.asc
Description: Digital signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
