Re: [PATCH v1 21/28] configure: allow user to specify what gdb to use

Peter Maydell writes: > On Mon, 16 Mar 2020 at 18:22, Alex Bennée wrote: >> >> This is useful, especially when testing relatively new gdbstub >> features that might not be in distro packages yet. >> >> Signed-off-by: Alex Bennée >> Reviewed-by: Richard Henderson >> --- >> configure | 9

Re: [PATCH v1 21/28] configure: allow user to specify what gdb to use

On Mon, 16 Mar 2020 at 18:22, Alex Bennée wrote: > > This is useful, especially when testing relatively new gdbstub > features that might not be in distro packages yet. > > Signed-off-by: Alex Bennée > Reviewed-by: Richard Henderson > --- > configure | 9 + > 1 file changed, 9

[PATCH v1 21/28] configure: allow user to specify what gdb to use

This is useful, especially when testing relatively new gdbstub features that might not be in distro packages yet. Signed-off-by: Alex Bennée Reviewed-by: Richard Henderson --- configure | 9 + 1 file changed, 9 insertions(+) diff --git a/configure b/configure index