aboutsummaryrefslogtreecommitdiff
path: root/ChangeLog
diff options
context:
space:
mode:
authorBen Elliston <bje@gnu.org>2018-11-22 12:01:56 +1100
committerBen Elliston <bje@gnu.org>2018-11-22 12:01:56 +1100
commitffca2d28a3909351b1da633bec179a47ac9280e0 (patch)
treea882acc6ee5649ad9f0b2ba99d18cfa74d32b4d0 /ChangeLog
parent660af948c8fce93ad2781ab8e0527a5b8e216f14 (diff)
downloaddejagnu-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--ChangeLog5
1 files changed, 5 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index 5bb6b99..900ba16 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -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.