diff options
author | Jacob Bachmeyer <jcb62281@gmail.com> | 2018-11-22 11:58:06 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2018-11-22 11:58:06 +1100 |
commit | 660af948c8fce93ad2781ab8e0527a5b8e216f14 (patch) | |
tree | 1a1e10216974ce7c8a6967c96ad8d6094d3f42e0 /runtest.exp | |
parent | c0310e95ba22fe548fe270b4af51065aceb17dcb (diff) | |
download | dejagnu-660af948c8fce93ad2781ab8e0527a5b8e216f14.zip dejagnu-660af948c8fce93ad2781ab8e0527a5b8e216f14.tar.gz dejagnu-660af948c8fce93ad2781ab8e0527a5b8e216f14.tar.bz2 |
* runtest.exp: Raise error if $DEJAGNU is defined but not found.
Signed-off-by: Ben Elliston <bje@gnu.org>
Diffstat (limited to 'runtest.exp')
-rw-r--r-- | runtest.exp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/runtest.exp b/runtest.exp index 5ced8ab..6126254 100644 --- a/runtest.exp +++ b/runtest.exp @@ -867,7 +867,8 @@ if {[info exists env(DEJAGNU)]} { # config file, but issue an error if $DEJAGNU is erroneously defined. # Since $DEJAGNU is set there is *supposed* to be a global config file, # so the current behaviour seems reasonable. - send_error "WARNING: global config file $env(DEJAGNU) not found.\n" + send_error "ERROR: global config file $env(DEJAGNU) not found.\n" + exit 1 } if {![info exists boards_dir]} { set boards_dir "[file dirname $env(DEJAGNU)]/boards" |