configure: Allow to build tools without pixman
commit9b52b17ba5e96cec182537715e87308108b47117
authorThomas Huth <thuth@redhat.com>
Thu, 23 Jul 2020 14:11:23 +0000 (23 16:11 +0200)
committerGerd Hoffmann <kraxel@redhat.com>
Fri, 24 Jul 2020 15:36:03 +0000 (24 17:36 +0200)
tree06cbc4afcb61894116870a28c93eff771b84c608
parent2c9728c0db8c02bf2f4f067548433af9f4102948
configure: Allow to build tools without pixman

If pixman is not installed, it is currently not possible to run:

 .../configure  --disable-system --enable-tools

Seems like there was a dependency from one of the required source
files to pixman in the past, but since commit 1ac0206b2ae1ffaeec56
("qemu-timer.c: Trim list of included headers"), this dependency
should be gone. Thus allow to compile the tools without pixman now.

Signed-off-by: Thomas Huth <thuth@redhat.com>
Message-id: 20200723141123.14765-1-thuth@redhat.com
Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
configure