xlat/gen.sh: speedup, part 2

* xlat/gen.sh (gen_header): Use "grep -q" instead of "grep > /dev/null".

diff --git a/xlat/gen.sh b/xlat/gen.sh
index a5618ba68ab1c60e9a178e4a60b8b10d995d28f0..05527a93227779d4b14c519084002dd839db336f 100755 (executable)
--- 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