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