diff options
Diffstat (limited to 'changes')
| -rw-r--r-- | changes/ticket31372_appveyor | 4 | ||||
| -rw-r--r-- | changes/ticket31372_travis | 4 |
2 files changed, 8 insertions, 0 deletions
diff --git a/changes/ticket31372_appveyor b/changes/ticket31372_appveyor new file mode 100644 index 0000000000..e7bb03182e --- /dev/null +++ b/changes/ticket31372_appveyor @@ -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. 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. |