diff options
Diffstat (limited to 'src/third_party/wiredtiger/dist/s_string')
-rwxr-xr-x | src/third_party/wiredtiger/dist/s_string | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/third_party/wiredtiger/dist/s_string b/src/third_party/wiredtiger/dist/s_string index 08d066f5929..3a4f9e190d3 100755 --- a/src/third_party/wiredtiger/dist/s_string +++ b/src/third_party/wiredtiger/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 && { |