On Tue, Nov 20, 2018 at 06:07:12PM -0600, Jacob Bachmeyer wrote: > Tue Mar 21 09:18:15 1995 Doug Evans <d...@canuck.cygnus.com> > > * runtest.exp: Treat $DEJAGNU as a global config file (which it is). > Don't exit if there isn't a global config file, just warn the user. > Error if $DEJAGNU is defined but file doesn't exist.
> Which behavior is correct? The behavior described in the comments? > What the current code actually does? It's obviosuly contradictory and the documentation doesn't say, either, so we get to pick. :-) I think we should do what the ChangeLog says: error if $DEJAGNU is defined but the file doesn't exist. Cheers, Ben
signature.asc
Description: PGP signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
