[PATCH-for-5.2 0/3] ci: Move --without-default-devices job from Travis to GitLab

[Philippe Mathieu-Daudé]

We have a job covering the --without-default-devices configure
option on Travis-CI, but recommend the community to use GitLab,
so build failures are missed.

We need help to move the jobs to GitLab (we will keep the s390x
and ppc64 containerized jobs on Travis as there is no similar
offer on GitLab). Start with this single job.

Cornelia Huck (1):
  s390x: fix build for --without-default-devices

Philippe Mathieu-Daudé (2):
  gitlab-ci: Add a job to cover the --without-default-devices config
  travis-ci: Remove the --without-default-devices job

 include/hw/s390x/s390-pci-vfio.h |  3 ++-
 .gitlab-ci.yml                   | 11 +++++++++++
 .travis.yml                      |  8 --------
 hw/s390x/meson.build             |  2 +-
 4 files changed, 14 insertions(+), 10 deletions(-)

-- 
2.26.2