diff options
Diffstat (limited to 'src/third_party/wiredtiger/dist/s_style')
-rwxr-xr-x | src/third_party/wiredtiger/dist/s_style | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/third_party/wiredtiger/dist/s_style b/src/third_party/wiredtiger/dist/s_style index 9c1dd6fa506..92ac94a3df1 100755 --- a/src/third_party/wiredtiger/dist/s_style +++ b/src/third_party/wiredtiger/dist/s_style @@ -88,7 +88,6 @@ else fi if ! expr "$f" : 'examples/c/.*' > /dev/null && - ! expr "$f" : 'ext/datasources/helium/helium.c' > /dev/null && ! expr "$f" : 'src/include/os.h' > /dev/null && egrep "%[0-9]*zu" $f | grep -v 'SIZET_FMT' > $t; then echo "$f: %zu needs to be fixed for Windows" |