diff options
| author | Stefan Weil <sw@weilnetz.de> | 2019-07-12 15:26:11 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2019-07-15 11:20:43 +0200 |
| commit | f2b143a28138a837e9a452e247e1703ebd6bf55e (patch) | |
| tree | c89ce510f4d06f58953aa2826e43314a3011262f /util/Makefile.objs | |
| parent | 838ec1177c45812ff177a35ff93990e9eb7f70c3 (diff) | |
Fix broken build with WHPX enabled
Signed-off-by: Stefan Weil <sw@weilnetz.de>
Message-Id: <20190712132611.20411-1-sw@weilnetz.de>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'util/Makefile.objs')
0 files changed, 0 insertions, 0 deletions