diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2018-12-12 15:22:18 +0100 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2019-02-05 16:50:18 +0100 |
| commit | dce5874fc70fe8a50e4dab9f6b105e84768cae07 (patch) | |
| tree | 7e34c7bf8b703bf2644834492dee660371a7cbc9 /tests/ptimer-test.c | |
| parent | aab50e53440b2fe432a5a59cbd0e7ec241a1169b (diff) | |
docker: adjust Xen repository for CentOS 7
The Xen repository is failing to install, pick the right name for the release package.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'tests/ptimer-test.c')
0 files changed, 0 insertions, 0 deletions