[SYSREG2] CI: Also install libxen-dev

This commit is contained in:
Pierre Schweitzer 2018-12-26 22:37:41 +01:00
parent 8784cd2778
commit 9f6e3d180f
No known key found for this signature in database
GPG Key ID: 7545556C3D585B0B

View File

@ -1,7 +1,7 @@
language: bash
before_script:
- sudo apt install -y libvirt-dev libxml2-dev
- sudo apt install -y libvirt-dev libxml2-dev libxen-dev
script:
- make