[tor-commits] [tor/release-0.4.2] Merge remote-tracking branch 'tor-github/pr/1351' into maint-0.2.9

[teor at torproject.org]

commit 8682442c7629c2ede5198a00ab1cf8f4e21991d6
Merge: 7660a7cf7 6ed3d8dbd
Author: teor <teor at torproject.org>
Date:   Wed Oct 23 08:32:22 2019 +1000

    Merge remote-tracking branch 'tor-github/pr/1351' into maint-0.2.9

 .travis.yml                | 6 ++++--
 changes/ticket31372_travis | 4 ++++
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --cc .travis.yml
index 7c7fcf4f6,759710737..d429e1537
--- a/.travis.yml
+++ b/.travis.yml
@@@ -8,13 -8,17 +8,15 @@@ compiler
  
  os:
    - linux
 -  - osx
  
 -## The build matrix in the following stanza expands into builds for each
 -## OS and compiler.
 +## We don't use the build matrix cross-product, because it makes too many jobs
 +## Instead, we list each job under matrix: include:
  env:
    global:
-     ## The Travis CI environment allows us two cores, so let's use both.
-     - MAKEFLAGS="-j 2"
+     ## The Travis CI environment allows us two cores, so let's use both.  Also,
+     ## let's use the "-k" flag so that we get all of the compilation failures,
+     ## not just the first one.
+     - MAKEFLAGS="-k -j 2"
      ## We turn on hardening by default
      ## Also known as --enable-fragile-hardening in 0.3.0.3-alpha and later
      - HARDENING_OPTIONS="--enable-expensive-hardening"