diff options
Diffstat (limited to 'src/third_party/wiredtiger/dist/dist.py')
| -rw-r--r-- | src/third_party/wiredtiger/dist/dist.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/third_party/wiredtiger/dist/dist.py b/src/third_party/wiredtiger/dist/dist.py index 2ea088ba3f1..1b3ad828dfb 100644 --- a/src/third_party/wiredtiger/dist/dist.py +++ b/src/third_party/wiredtiger/dist/dist.py @@ -10,6 +10,10 @@ def source_files(skip_includes=False): for line in open('filelist', 'r'): if file_re.match(line): yield os.path.join('..', line.rstrip()) + # Return only the Windows-specific files in the Windows filelist + for line in open('../build_win/filelist.win', 'r'): + if 'os_win' in line and file_re.match(line): + yield os.path.join('..', line.rstrip()) for line in open('extlist', 'r'): if file_re.match(line): yield os.path.join('..', line.rstrip()) |