diff options
| -rwxr-xr-x | help/help_diff.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/help/help_diff.sh b/help/help_diff.sh index da67880323..17c8e83e36 100755 --- a/help/help_diff.sh +++ b/help/help_diff.sh @@ -12,9 +12,9 @@ test $1 = "help/help_mp-en.h" && exit 0 curr="" while read -r line; do - if echo "$line" | grep '^#define' > /dev/null 2>&1; then + if echo "$line" | grep -q '^#define' ; then curr=`printf "%s\n" "$line" | cut -d ' ' -f 2` - if grep "^#define $curr[ ]" $1 > /dev/null 2>&1; then + if grep -q "^#define $curr[ ]" $1 ; then curr="" fi else |