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 /configure | |
| 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 'configure')
| -rwxr-xr-x | configure | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -590,6 +590,7 @@ am__EXEEXT_TRUE LTLIBOBJS LIBOBJS subdirs +DEJAGNU EXPECT DOCBOOK2TEXI DOCBOOK2PS @@ -4056,6 +4057,12 @@ else as_fn_error $? "Tcl 8.3 or greater is required" "$LINENO" 5 fi +if test x"$DEJAGNU" = x +then + DEJAGNU="/dev/null" +fi + + subdirs="$subdirs example/calc example/mathhelper" |