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 /ChangeLog | |
parent | 660af948c8fce93ad2781ab8e0527a5b8e216f14 (diff) | |
download | dejagnu-ffca2d28a3909351b1da633bec179a47ac9280e0.zip dejagnu-ffca2d28a3909351b1da633bec179a47ac9280e0.tar.gz dejagnu-ffca2d28a3909351b1da633bec179a47ac9280e0.tar.bz2 |
* doc/dejagnu.texi (Customizing DejaGnu): Document error handling
of the $DEJAGNU environment variable (see change below).
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -1,3 +1,8 @@ +2018-11-22 Ben Elliston <bje@gnu.org> + + * doc/dejagnu.texi (Customizing DejaGnu): Document error handling + of the $DEJAGNU environment variable (see change below). + 2018-11-22 Jacob Bachmeyer <jcb62281@gmail.com> * runtest.exp: Raise error if $DEJAGNU is defined but not found. |