Merge branch 'maint-0.3.3'

This commit is contained in:
Nick Mathewson 2018-05-03 13:38:54 -04:00
commit 7f629f7fd9
2 changed files with 11 additions and 1 deletions

View File

@ -160,7 +160,9 @@ script:
after_failure:
## `make check` will leave a log file with more details of test failures.
- cat test-suite.log
- if [[ "$DISTCHECK" == "" ]]; then cat test-suite.log; fi
## `make distcheck` puts it somewhere different.
- if [[ "$DISTCHECK" != "" ]]; then make show-distdir-testlog; fi
after_success:
## If this build was one that produced coverage, upload it.

View File

@ -274,3 +274,11 @@ if USE_RUST
distclean-local: distclean-rust
endif
# This relies on some internal details of how automake implements
# distcheck. We check two directories because automake-1.15 changed
# from $(distdir)/_build to $(distdir)/_build/sub.
show-distdir-testlog:
@if test -d "$(distdir)/_build/sub"; then \
cat $(distdir)/_build/sub/$(TEST_SUITE_LOG); \
else \
cat $(distdir)/_build/$(TEST_SUITE_LOG); fi