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 /Makefile.am | |
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 'Makefile.am')
-rw-r--r-- | Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 79e38d3..ac60114 100644 --- a/Makefile.am +++ b/Makefile.am @@ -20,6 +20,7 @@ # Process this file with automake to generate Makefile.in AUTOMAKE_OPTIONS = dejagnu +export DEJAGNU EXTRA_DIST = ChangeLog-1992 MAINTAINERS runtest site.tmpl \ $(pkgdata_DATA) $(config_DATA) $(baseboard_DATA) \ |