Re: Code and comments in runtest.exp that do not match

[Ben Elliston]

On Tue, Nov 20, 2018 at 06:07:12PM -0600, Jacob Bachmeyer wrote:

> Tue Mar 21 09:18:15 1995  Doug Evans  <address@hidden>
> 
>       * 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