From b97cf09cd7b79d87b4ecfa064657140e25a8958e Mon Sep 17 00:00:00 2001
From: Ben Elliston <bje@gnu.org>
Date: Sat, 15 Jun 2013 23:01:09 +1000
Subject: 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.
---
 configure.ac | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'configure.ac')

diff --git a/configure.ac b/configure.ac
index 7ab586d..70ea257 100644
--- a/configure.ac
+++ b/configure.ac
@@ -56,5 +56,11 @@ else
   AC_MSG_ERROR([Tcl 8.3 or greater is required])
 fi
 
+if test x"$DEJAGNU" = x
+then
+  DEJAGNU="/dev/null"
+fi
+AC_SUBST(DEJAGNU)
+
 AC_CONFIG_SUBDIRS([example/calc example/mathhelper])
 AC_OUTPUT([Makefile])
-- 
cgit v1.1