diff options
author | Laurent Vivier <lvivier@redhat.com> | 2019-04-01 16:12:20 +0200 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2019-05-17 15:19:39 +0200 |
commit | a51259059503a197dd8fbc152786cbacf3127bbb (patch) | |
tree | beb8075fdfd7d893582adf014cc2bdc4256f48ab /Makefile.objs | |
parent | 3dff199cca2702846a23d7193dbd447064b60d0d (diff) |
configure: qemu-ga is only needed with softmmu targets
Remove it from the list of tools if --disable-system
and --disable-tools are used as we don't need it for
linux-user targets.
Suggested-by: Paolo Bonzini <pbonzini@redhat.com>
[lv: I also disable it with disable-tools, not only with disable-system]
Signed-off-by: Laurent Vivier <lvivier@redhat.com>
Message-Id: <20190401141222.30034-4-lvivier@redhat.com>
Diffstat (limited to 'Makefile.objs')
0 files changed, 0 insertions, 0 deletions