diff options
Diffstat (limited to 'changes/ticket31372_travis')
-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. |