[PATCH v2 0/3] tools: add some more configure options

[Juergen Gross <jgross@xxxxxxxx>]

Add two additional configure options for controlling the build of
pygrub and libfsimage.

Changes in V2:
- add check for --enable-pygrub --disable-libfsimage
- new patch 3

Juergen Gross (3):
  tools: add configure option for disabling pygrub
  tools: add configure option for libfsimage
  tools/xl: reject bootloader=pygrub in case pygrub is disabled

 config/Tools.mk.in  |  2 ++
 tools/Makefile      |  4 +--
 tools/config.h.in   |  3 ++
 tools/configure     | 74 +++++++++++++++++++++++++++++++++++++++++++++
 tools/configure.ac  | 26 ++++++++++++++++
 tools/xl/xl_parse.c |  9 ++++++
 6 files changed, 116 insertions(+), 2 deletions(-)

-- 
2.35.3