diff options
Diffstat (limited to 'dist')
| -rw-r--r-- | dist/dist.py | 7 | ||||
| -rw-r--r-- | dist/extlist | 9 | ||||
| -rw-r--r-- | dist/s_string.ok | 4 |
3 files changed, 18 insertions, 2 deletions
diff --git a/dist/dist.py b/dist/dist.py index 725be8f96e3..6994a9128af 100644 --- a/dist/dist.py +++ b/dist/dist.py @@ -1,7 +1,7 @@ import filecmp, glob, os, re, shutil # source_files -- -# Return a list of the source file names in filelist. +# Return a list of the WiredTiger source file names. def source_files(skip_includes=False): if not skip_includes: for line in glob.iglob('../src/include/*.[hi]'): @@ -10,9 +10,12 @@ def source_files(skip_includes=False): for line in open('filelist', 'r'): if 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()) # source_dirs -- -# Return a list of the directories in filelist. +# Return a list of the WiredTiger source directory names. def source_dirs(): dirs = set() for f in source_files(): diff --git a/dist/extlist b/dist/extlist new file mode 100644 index 00000000000..524dcb85992 --- /dev/null +++ b/dist/extlist @@ -0,0 +1,9 @@ +# extlist -- +# List of extension source files for WiredTiger library. + +ext/collators/reverse/reverse_collator.c +ext/compressors/bzip2/bzip2_compress.c +ext/compressors/nop/nop_compress.c +ext/compressors/snappy/snappy_compress.c +ext/compressors/zlib/zlib_compress.c +ext/datasources/helium/helium.c diff --git a/dist/s_string.ok b/dist/s_string.ok index 3cb7de14054..ff7def71ae6 100644 --- a/dist/s_string.ok +++ b/dist/s_string.ok @@ -345,6 +345,8 @@ bzCompressInit bzDecompress bzDecompressEnd bzDecompressInit +bzalloc +bzfree bzip calloc catfmt @@ -978,5 +980,7 @@ xff xxxx xxxxx xxxxxx +zalloc +zfree zlib zu |