diff options
| author | Alex Gorrod <alexander.gorrod@mongodb.com> | 2017-05-15 16:24:39 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-15 16:24:39 -0400 |
| commit | 0a0d1562708f78da356f5452d6ec7dbc203d1c2a (patch) | |
| tree | 036499284f22bea534ccfda48b73d54f8c5ac18b /dist/s_whitespace | |
| parent | d2db615982db186e0291f05da9dbe758d36b20d3 (diff) | |
| download | mongo-0a0d1562708f78da356f5452d6ec7dbc203d1c2a.tar.gz | |
WT-3142 Add a workload generator application (#3408)
Diffstat (limited to 'dist/s_whitespace')
| -rwxr-xr-x | dist/s_whitespace | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dist/s_whitespace b/dist/s_whitespace index 0de59bc5825..874074dfb50 100755 --- a/dist/s_whitespace +++ b/dist/s_whitespace @@ -8,6 +8,7 @@ trap 'rm -f $t' 0 1 2 3 13 15 # into a single line, discard trailing empty lines. whitespace() { + ! head $1 | grep -q 'automatically generated by SWIG' || return sed -e 's/[ ][ ]*$//' < $1 | \ cat -s | \ sed -e '${' -e '/^$/d' -e '}' > $t |