diff options
Diffstat (limited to 'src/third_party/wiredtiger/dist/filelist')
| -rw-r--r-- | src/third_party/wiredtiger/dist/filelist | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/third_party/wiredtiger/dist/filelist b/src/third_party/wiredtiger/dist/filelist index 0b65cb15faa..fe205cf10f3 100644 --- a/src/third_party/wiredtiger/dist/filelist +++ b/src/third_party/wiredtiger/dist/filelist @@ -200,7 +200,6 @@ src/support/global.c src/support/hash_city.c src/support/hash_fnv.c src/support/hazard.c -src/support/hazard_weak.c src/support/hex.c src/support/huffman.c src/support/lock_ext.c |