mirror of
https://gitlab.torproject.org/tpo/core/tor.git
synced 2024-12-06 19:41:15 +01:00
Merge remote-tracking branch 'tor-github/pr/971'
This commit is contained in:
@@ -230,6 +230,7 @@ after_failure:
|
||||
## `make distcheck` puts it somewhere different.
|
||||
- if [[ "$DISTCHECK" != "" ]]; then make show-distdir-testlog || echo "make failed"; fi
|
||||
- if [[ "$DISTCHECK" != "" ]]; then make show-distdir-core || echo "make failed"; fi
|
||||
- if [[ "$TEST_STEM" != "" ]]; then cat "$STEM_SOURCE_DIR"/test/data/tor_log || echo "cat failed"; fi
|
||||
|
||||
before_cache:
|
||||
## Delete all gcov files.
|
||||
|
||||
@@ -0,0 +1,2 @@
|
||||
o Testing (continuous integration):
|
||||
- In Travis, show stem's tor log after failure. Closes ticket 30234.
|
||||
Reference in New Issue
Block a user