diff options
Diffstat (limited to 'changes/ticket31372_appveyor')
| -rw-r--r-- | changes/ticket31372_appveyor | 4 |
1 files changed, 4 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. |