diff options
author | Michael Cahill <michael.cahill@mongodb.com> | 2015-12-08 13:42:58 +1100 |
---|---|---|
committer | Michael Cahill <michael.cahill@mongodb.com> | 2015-12-08 13:42:58 +1100 |
commit | dc38ce52ec5998f7f09c64b233e7f0933c697fa6 (patch) | |
tree | 110b15138317c3c2bf5414577d91c27741f347bf | |
parent | b3c1d5ce3fd122dafd40c75c07357610e5096f2d (diff) | |
download | mongo-dc38ce52ec5998f7f09c64b233e7f0933c697fa6.tar.gz |
Exclude git hashes from spell checking.
-rwxr-xr-x | dist/s_string | 3 | ||||
-rw-r--r-- | dist/s_string.ok | 1 |
2 files changed, 3 insertions, 1 deletions
diff --git a/dist/s_string b/dist/s_string index 08d066f5929..3a4f9e190d3 100755 --- a/dist/s_string +++ b/dist/s_string @@ -30,7 +30,8 @@ replace() { # check: # Check the spelling of an individual file. check() { - aspell --lang=en $1 list < ../$2 | + # Strip out git hashes, which are seven character hex strings. + sed 's/ [0-9a-f]\{7\} / /g' ../$2 | aspell --lang=en $1 list | sort -u | comm -23 /dev/stdin s_string.ok > $t test -s $t && { diff --git a/dist/s_string.ok b/dist/s_string.ok index d07f27df668..b408888970b 100644 --- a/dist/s_string.ok +++ b/dist/s_string.ok @@ -360,6 +360,7 @@ arg argc args argv +asm async asyncopp asyncops |