ticket31372_travis 229 B

1234
  1. o Minor features (continuous integration):
  2. - When building on Travis, pass the "-k" flag to make, so that
  3. we are informed of all compilation failures, not just the first
  4. one or two. Closes part of ticket 31372.