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

[Juergen Gross <jgross@xxxxxxxx>]

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

Juergen Gross (2):
  tools: add configure option for disabling pygrub
  tools: add configure option for libfsimage

 config/Tools.mk.in |  2 ++
 tools/Makefile     |  4 ++--
 tools/configure    | 54 ++++++++++++++++++++++++++++++++++++++++++++++
 tools/configure.ac | 14 ++++++++++++
 4 files changed, 72 insertions(+), 2 deletions(-)

-- 
2.35.3