]> git.ipfire.org Git - thirdparty/tor.git/commitdiff
Merge remote-tracking branch 'tor-github/pr/898' into maint-0.3.5
authorteor <teor@torproject.org>
Fri, 5 Apr 2019 23:32:53 +0000 (09:32 +1000)
committerteor <teor@torproject.org>
Fri, 5 Apr 2019 23:32:53 +0000 (09:32 +1000)
1  2 
.travis.yml

diff --cc .travis.yml
index f3ddd81ea176e4815fc90bf90e01e1cd04c0b19a,e70344ee2e434414be6fcd0b67220fac1a1f11d3..45da263246fb01e7405ed38d92ff23192de89cb0
@@@ -204,10 -208,9 +210,11 @@@ script
    - ./configure $CONFIGURE_FLAGS
    ## We run `make check` because that's what https://jenkins.torproject.org does.
    - if [[ "$DISTCHECK" == "" && "$TEST_STEM" == "" ]]; then make check; fi
-   - if [[ "$TEST_STEM" != "" ]]; then make src/app/tor test-stem; fi
+   ## Diagnostic for bug 29437: kill stem if it hangs for 15 minutes
+   - if [[ "$TEST_STEM" != "" ]]; then timelimit -p -t 540 -T 30 make src/app/tor test-stem; fi
    - if [[ "$DISTCHECK" != "" && "$TEST_STEM" == "" ]]; then make distcheck DISTCHECK_CONFIGURE_FLAGS="$CONFIGURE_FLAGS"; fi
 +  ## If this build was one that produced coverage, upload it.
 +  - if [[ "$COVERAGE_OPTIONS" != "" ]]; then coveralls -b . --exclude src/test --exclude src/trunnel --gcov-options '\-p' || echo "Coverage failed"; fi
  
  after_failure:
    ## configure will leave a log file with more details of config failures.