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
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
While adding --{loc,glob}al_init options to runtest, I ran across this code:
= at line 865 in master:runtest.exp
if { [load_file -- $env(DEJAGNU)] == 0 } {
# It may seem odd to only issue a warning if there isn't a global
# config file, but issue an error if $DEJAGNU is erroneo
