On 22/5/24 23:27, Richard Henderson wrote:
Use plain grep instead.
Signed-off-by: Richard Henderson
---
contrib/generate_all.sh | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Reviewed-by: Philippe Mathieu-Daudé
Use plain grep instead.
Signed-off-by: Richard Henderson
---
contrib/generate_all.sh | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/contrib/generate_all.sh b/contrib/generate_all.sh
index 651cb23..5ff0b3e 100755
--- a/contrib/generate_all.sh
+++ b/contrib/generate_all.sh