Merge branch 'maint-0.4.1' into release-0.4.1

2024-12-06 19:41:15 +01:00 · 2019-10-23 08:47:20 +10:00
parent 0d88b9e8a9 4a5c909ce5
commit fd4fca378c
4 changed files with 15 additions and 5 deletions
@@ -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.
@@ -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.