diff options
| author | Marc-André Lureau <marcandre.lureau@redhat.com> | 2019-08-27 12:08:24 +0400 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2019-12-17 19:32:46 +0100 |
| commit | 57589bc497d518fc509cd8adb9407ea7984ec540 (patch) | |
| tree | 09f9ceb033dc3f45c8380273369e6c1192bbcd90 /configure | |
| parent | 55deffdb5ca626689b3e08d7e9adeab9f0e5ad5f (diff) | |
build-sys: build vhost-user-gpu only if CONFIG_TOOLS
vhost-user-gpu is always built and installed, but it is not part of the emulator
proper. Cut it if --disable-tools is specified.
Signed-off-by: Marc-André Lureau <marcandre.lureau@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions