projects / platform / upstream / dejagnu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3e48e41) | patch
This patch silences "WARNING: Couldn't find the global config file"
authorBen Elliston <bje@gnu.org>
Sat, 15 Jun 2013 13:01:09 +0000 (23:01 +1000)
committerBen Elliston <bje@gnu.org>
Sat, 15 Jun 2013 13:01:09 +0000 (23:01 +1000)
commitb97cf09cd7b79d87b4ecfa064657140e25a8958e
tree4507b364cc8ba68c53e715a01d2c980e6c342ea5tree | snapshot
parent3e48e41582a059339540d962e77a5eb3cc48b265commit | diff
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.
ChangeLog diff | blob | history
Makefile.am diff | blob | history
Makefile.in diff | blob | history
configure diff | blob | history
configure.ac diff | blob | history
Domain: System / Toolchain;