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.in | |
| 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.in')
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 58d1f0e..1171a38 100644 --- a/Makefile.in +++ b/Makefile.in @@ -193,6 +193,7 @@ CXXDEPMODE = @CXXDEPMODE@ CXXFLAGS = @CXXFLAGS@ CYGPATH_W = @CYGPATH_W@ DEFS = @DEFS@ +DEJAGNU = @DEJAGNU@ DEPDIR = @DEPDIR@ DOCBOOK2HTML = @DOCBOOK2HTML@ DOCBOOK2PDF = @DOCBOOK2PDF@ @@ -1444,6 +1445,7 @@ uninstall-man: uninstall-man1 uninstall-man1 uninstall-pdf-am uninstall-pkgdataDATA \ uninstall-ps-am +export DEJAGNU # Give a reassuring message so that users know the "build" worked. all-local: |