On 9/15/20 6:43 AM, Alex Bennée wrote: > Rather than sed and loop just do a grep. > > Signed-off-by: Alex Bennée <[email protected]> > --- > configure | 10 +--------- > 1 file changed, 1 insertion(+), 9 deletions(-)
Reviewed-by: Richard Henderson <[email protected]> r~
