diff options
| author | Alex Gorrod <alexander.gorrod@mongodb.com> | 2015-12-10 14:34:17 +1100 |
|---|---|---|
| committer | Alex Gorrod <alexander.gorrod@mongodb.com> | 2015-12-10 14:34:17 +1100 |
| commit | 114626e7e267561427e0fb05a6bcea755d9a77a5 (patch) | |
| tree | be8c6d42176ff578d4c3f88917d493908e900062 /dist | |
| parent | 8d4e75d1d00fe44268373fee49ce970c4356e714 (diff) | |
| parent | a567198faea2e1127b03d1d74d0a6cce99c8d4a2 (diff) | |
| download | mongo-114626e7e267561427e0fb05a6bcea755d9a77a5.tar.gz | |
Merge pull request #2375 from wiredtiger/wt-2177-rand-seed
WT-2177 Add an optional random seed to WiredTiger rand implementation
Diffstat (limited to 'dist')
| -rwxr-xr-x | dist/s_funcs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/s_funcs b/dist/s_funcs index 3769ccc4aa7..5fee03b5615 100755 --- a/dist/s_funcs +++ b/dist/s_funcs @@ -6,7 +6,7 @@ trap 'rm -f $t; exit 0' 0 1 2 3 13 15 # List of files to search. l=`sed -e 's,#.*,,' -e '/^$/d' -e 's,^,../,' filelist` -l="$l `echo ../src/*/*.i ../src/utilities/*.c`" +l="$l `echo ../src/*/*.i ../src/utilities/*.c ../bench/wtperf/*.c`" ( # Copy out the functions we don't use, but it's OK. |