diff options
Diffstat (limited to 'testsuite/Makefile.in')
| -rw-r--r-- | testsuite/Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
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 |