aboutsummaryrefslogtreecommitdiff
path: root/changes/ticket31372_travis
diff options
context:
space:
mode:
Diffstat (limited to 'changes/ticket31372_travis')
-rw-r--r--changes/ticket31372_travis4
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.