diff options
| -rw-r--r-- | testsuite/Makefile.am | 2 | ||||
| -rw-r--r-- | testsuite/Makefile.in | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/testsuite/Makefile.am b/testsuite/Makefile.am index 96f33200..2602a162 100644 --- a/testsuite/Makefile.am +++ b/testsuite/Makefile.am @@ -14,6 +14,8 @@ clean-local: DEJAZILLA=@dejazilla@ # automake's dejagnu library already runs check-DEJAGNU before check-local +# That's why we need to add "execrc" to $(RUNTEST) - to ensure that this +# subtarget gets run even if runtest per se exits with a failure. check-local: if test -n "$(DEJAZILLA)"; then mail $(DEJAZILLA) < systemtap.sum; fi diff --git a/testsuite/Makefile.in b/testsuite/Makefile.in index 08c471fa..cc76cada 100644 --- a/testsuite/Makefile.in +++ b/testsuite/Makefile.in @@ -462,6 +462,8 @@ clean-local: -rm -rf .systemtap .cache_test 2>/dev/null # automake's dejagnu library already runs check-DEJAGNU before check-local +# That's why we need to add "execrc" to $(RUNTEST) - to ensure that this +# subtarget gets run even if runtest per se exits with a failure. check-local: if test -n "$(DEJAZILLA)"; then mail $(DEJAZILLA) < systemtap.sum; fi |