From 7f70f6e2096ef60b538ad3ef1f69393572b9329c Mon Sep 17 00:00:00 2001
From: Eugene Syromyatnikov <evgsyr@gmail.com>
Date: Wed, 6 Feb 2019 00:49:47 +0100
Subject: [PATCH] xlat/gen.sh: speedup, part 2

* xlat/gen.sh (gen_header): Use "grep -q" instead of "grep > /dev/null".
---
 xlat/gen.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/xlat/gen.sh b/xlat/gen.sh
index a5618ba6..05527a93 100755
--- a/xlat/gen.sh
+++ b/xlat/gen.sh
@@ -111,9 +111,9 @@ gen_header()
 
 	value_indexed=0
 
-	if grep -F -x "$decl" "$defs" > /dev/null; then
+	if grep -F -q -x "$decl" "$defs"; then
 		in_defs=1
-	elif grep -F -x "$decl" "$mpers" > /dev/null; then
+	elif grep -F -q -x "$decl" "$mpers"; then
 		in_mpers=1
 	fi
 
-- 
2.40.0