On 04/08/2020 10.48, Philippe Mathieu-Daudé wrote: > Reposting Stefan's patch in case we want to merge it in > (I 'd rather not, adding them as GitLab jobs instead):
Yeah, we should rather try to consolidate our CI zoo instead of adding yet another one... As mentioned in another mail, I'm already working on using our containers for cross-compiling on gitlab-CI: https://gitlab.com/huth/qemu/-/jobs/669580489#L39 ... not quite there yet, but it should be doable. I hope it will be sufficient to simply also add the WinHv* headers there to get the compilation coverage for WHXP. Thomas