diff options
Diffstat (limited to 'src/third_party/wiredtiger/dist/dist.py')
| -rw-r--r-- | src/third_party/wiredtiger/dist/dist.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/third_party/wiredtiger/dist/dist.py b/src/third_party/wiredtiger/dist/dist.py index 555cc03989b..ec47f509541 100644 --- a/src/third_party/wiredtiger/dist/dist.py +++ b/src/third_party/wiredtiger/dist/dist.py @@ -13,6 +13,15 @@ def source_files(): if file_re.match(line): yield os.path.join('..', line.split()[0]) +# all_c_files -- +# Return list of all WiredTiger C source file names. +def all_c_files(): + file_re = re.compile(r'^\w') + for line in glob.iglob('../src/*/*.[ci]'): + yield line + for line in glob.iglob('../test/*/*.[ci]'): + yield line + # source_dirs -- # Return a list of the WiredTiger source directory names. def source_dirs(): |