Description: Build sys - Fix dejagnu work around
 If DEJAGNU is not defined, then a config file can be defined in configure. This
 file either needs to be distributed or already exits. A simple fix is to specify
 /dev/null
Author: Craig Small <csmall@debian.org>
Bug-Debian: https://bugs.debian.org/1015089
Applied-Upstream: https://gitlab.com/psmisc/psmisc/-/commit/3fac667430341bdcec733da6eacd88b03813467a
Reviewed-by: Craig Small <csmall@debian.org>
Last-Update: 2022-07-17 <YYYY-MM-DD, last update of the meta-information, optional>
--- a/configure
+++ b/configure
@@ -11123,7 +11123,7 @@
 
 if test x"$DEJAGNU" = x
 then
-  DEJAGNU="\$(top_srcdir)/testsuite/global-conf.exp"
+  DEJAGNU="/dev/null"
 fi
 
 
--- a/configure.ac
+++ b/configure.ac
@@ -204,7 +204,7 @@
 
 if test x"$DEJAGNU" = x
 then
-  DEJAGNU="\$(top_srcdir)/testsuite/global-conf.exp"
+  DEJAGNU="/dev/null"
 fi
 AC_SUBST(DEJAGNU)
 	
