diff options
author | Ben Elliston <bje@gnu.org> | 2013-06-15 23:01:09 +1000 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2013-06-15 23:01:09 +1000 |
commit | b97cf09cd7b79d87b4ecfa064657140e25a8958e (patch) | |
tree | 4507b364cc8ba68c53e715a01d2c980e6c342ea5 /ChangeLog | |
parent | 3e48e41582a059339540d962e77a5eb3cc48b265 (diff) | |
download | dejagnu-b97cf09cd7b79d87b4ecfa064657140e25a8958e.zip dejagnu-b97cf09cd7b79d87b4ecfa064657140e25a8958e.tar.gz dejagnu-b97cf09cd7b79d87b4ecfa064657140e25a8958e.tar.bz2 |
This patch silences "WARNING: Couldn't find the global config file"
when running make check. From Gilles Espinasse.
* configure.ac: If DEJAGNU is unset, set it to /dev/null.
* Makefile.am: Export DEJAGNU.
* configure: Likewise.
* Makefile.in: Regenerate.
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -1,3 +1,10 @@ +2013-06-15 Ben Elliston <bje@gnu.org> + + * configure.ac: If DEJAGNU is unset, set it to /dev/null. + * Makefile.am: Export DEJAGNU. + * configure: Likewise. + * Makefile.in: Regenerate. + 2013-06-15 Bernhard Reutner-Fischer <aldot@gcc.gnu.org> * doc/user.xml: Fix typos. |