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