diff options
author | teor <teor@torproject.org> | 2019-10-23 08:32:22 +1000 |
---|---|---|
committer | teor <teor@torproject.org> | 2019-10-23 08:32:22 +1000 |
commit | 8682442c7629c2ede5198a00ab1cf8f4e21991d6 (patch) | |
tree | d48f17ee8ef7dbbd92dbdbd4214349f5b8835361 /changes | |
parent | 7660a7cf7d4191e44aba0bf3e02a001d7e979d29 (diff) | |
parent | 6ed3d8dbd180aa72e2c9b3fa4835fb82e0f60556 (diff) | |
download | tor-8682442c7629c2ede5198a00ab1cf8f4e21991d6.tar.gz tor-8682442c7629c2ede5198a00ab1cf8f4e21991d6.zip |
Merge remote-tracking branch 'tor-github/pr/1351' into maint-0.2.9
Diffstat (limited to 'changes')
-rw-r--r-- | changes/ticket31372_travis | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/changes/ticket31372_travis b/changes/ticket31372_travis new file mode 100644 index 0000000000..403869b2ed --- /dev/null +++ b/changes/ticket31372_travis @@ -0,0 +1,4 @@ + o Minor features (continuous integration): + - When building on Travis, pass the "-k" flag to make, so that + we are informed of all compilation failures, not just the first + one or two. Closes part of ticket 31372. |