torproject/tor
1
0
Fork 0
mirror of https://gitlab.torproject.org/tpo/core/tor.git synced 2024-12-06 19:41:15 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge remote-tracking branch 'tor-github/pr/1360' into maint-0.3.5

Browse Source
This commit is contained in:
teor
2019-10-23 08:32:52 +10:00
parent 27965f1ef2 da5c8277ea
commit c77162e4e9
4 changed files with 15 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
changes/ticket31372_appveyor
+4
View File
@@ -0,0 +1,4 @@
o Minor features (continuous integration):
- When building on Appveyor, 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.
changes/ticket31372_travis
+4
View File
@@ -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.