diff options
| author | Ben Elliston <bje@gnu.org> | 2018-11-22 12:01:56 +1100 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2018-11-22 12:01:56 +1100 |
| commit | ffca2d28a3909351b1da633bec179a47ac9280e0 (patch) | |
| tree | a882acc6ee5649ad9f0b2ba99d18cfa74d32b4d0 /doc | |
| parent | 660af948c8fce93ad2781ab8e0527a5b8e216f14 (diff) | |
| download | dejagnu-ffca2d28a3909351b1da633bec179a47ac9280e0.tar.gz dejagnu-ffca2d28a3909351b1da633bec179a47ac9280e0.tar.bz2 dejagnu-ffca2d28a3909351b1da633bec179a47ac9280e0.zip | |
* doc/dejagnu.texi (Customizing DejaGnu): Document error handling
of the $DEJAGNU environment variable (see change below).
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/dejagnu.texi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/dejagnu.texi b/doc/dejagnu.texi index 96f0141..70b5c0e 100644 --- a/doc/dejagnu.texi +++ b/doc/dejagnu.texi @@ -963,7 +963,8 @@ values that apply to DejaGnu site-wide. @code{runtest} loads these values first. The global @file{site.exp} contains the default values for all targets and hosts supported by DejaGnu. This global file is identified by setting the environment variable @code{DEJAGNU} to the -name of the file. +name of the file. If @code{DEJAGNU} is set, but the file cannot be +located, an error will be raised and @code{runtest} will abort. Any directory containing a configured testsuite also has a local @file{site.exp}, capturing configuration values specific to the tool |