diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2019-07-18 12:24:29 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2019-08-21 16:29:56 +0200 |
| commit | c932ce3144d92b3032336d02b59e6a14be68098d (patch) | |
| tree | a79ff6ec8afa0cfd4faa25ad5a5e71da51a34dbe /docs | |
| parent | 0814465ab8a1440a6587fd9b489d13ed63595166 (diff) | |
configure: define CONFIG_TOOLS here
Defining CONFIG_TOOLS on the basis of $(TOOLS) has the disadvantage
of including it also if e.g. qemu-ga is requested. The correct
information is available in configure, define it there.
This also has the benefit of not installing the manpages for block layer
tools if the only "tool" being built is the guest agent.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions