diff options
Diffstat (limited to 'src/third_party/wiredtiger/dist/s_funcs')
-rwxr-xr-x | src/third_party/wiredtiger/dist/s_funcs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/third_party/wiredtiger/dist/s_funcs b/src/third_party/wiredtiger/dist/s_funcs index 3769ccc4aa7..5fee03b5615 100755 --- a/src/third_party/wiredtiger/dist/s_funcs +++ b/src/third_party/wiredtiger/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. |