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

2018-11-21 Thread Jacob Bachmeyer
Ben Elliston wrote: On Tue, Nov 20, 2018 at 06:07:12PM -0600, Jacob Bachmeyer wrote: Tue Mar 21 09:18:15 1995 Doug Evans * 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 i

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

2018-11-21 Thread Ben Elliston
On Tue, Nov 20, 2018 at 06:07:12PM -0600, Jacob Bachmeyer wrote: > Tue Mar 21 09:18:15 1995 Doug Evans > > * 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