> [...] > > A possible fix is to swap their order (simple patch attached). > [...]
Seems like I forgot to actually attach the patch. Here it is.
From eabf68eced45d06b1554a8c461c351c1a6477eba Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Carn=C3=AB=20Draug?= <carandraug+...@gmail.com> Date: Mon, 2 Jan 2017 15:43:28 +0000 Subject: [PATCH] dejagnu.am: AM_RUNTESTFLAGS before RUNTESTDEFAULTFLAGS so default can be overriden --- lib/am/dejagnu.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/am/dejagnu.am b/lib/am/dejagnu.am index 75ec97d..04e97e2 100644 --- a/lib/am/dejagnu.am +++ b/lib/am/dejagnu.am @@ -33,7 +33,7 @@ check-DEJAGNU: site.exp ## pointless to cause a failure if the tests cannot be run at all. if $(SHELL) -c "$(RUNTEST) --version" > /dev/null 2>&1; then \ exit_status=0; l='$(DEJATOOL)'; for tool in $$l; do \ - if $(RUNTEST) $(AM_RUNTESTFLAGS) $(RUNTESTDEFAULTFLAGS) $(RUNTESTFLAGS); \ + if $(RUNTEST) $(RUNTESTDEFAULTFLAGS) $(AM_RUNTESTFLAGS) $(RUNTESTFLAGS); \ then :; else exit_status=1; fi; \ done; \ else echo "WARNING: could not find '$(RUNTEST)'" 1>&2; :;\ -- 2.1.4
