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

Message

Jürgen Groß Aug. 4, 2023, 5:59 a.m. UTC

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(-)