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
> ---
> configure | 10 +-
> 1 file changed, 1 insertion(+), 9 deletions(-)
Reviewed-by: Richard Henderson
r~
Rather than sed and loop just do a grep.
Signed-off-by: Alex Bennée
---
configure | 10 +-
1 file changed, 1 insertion(+), 9 deletions(-)
diff --git a/configure b/configure
index f5fe48d6dd7b..58be974065c8 100755
--- a/configure
+++ b/configure
@@ -1739,17 +1739,9 @@ if test -z "$target