Re: [PATCH] Print tool binary names in ./configure --help

2024-02-26 Thread Stefan Hajnoczi
On Sat, 17 Feb 2024 at 08:21, Manos Pitsidianakis wrote: > > configure --help currently outputs the following line for the tools > option: > > -->8--- > ░░tcg░TCG░support░░ >

[PATCH] Print tool binary names in ./configure --help

2024-02-17 Thread Manos Pitsidianakis
configure --help currently outputs the following line for the tools option: -->8--- ░░tcg░TCG░support░░ tools build support utilities that come with QEMU