diff options
Diffstat (limited to 'BUILD/compile-pentium64-valgrind-max')
| -rwxr-xr-x | BUILD/compile-pentium64-valgrind-max | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/BUILD/compile-pentium64-valgrind-max b/BUILD/compile-pentium64-valgrind-max index 0653fb7fe75..84e78805246 100755 --- a/BUILD/compile-pentium64-valgrind-max +++ b/BUILD/compile-pentium64-valgrind-max @@ -33,6 +33,6 @@ path=`dirname $0` . "$path/SETUP.sh" extra_flags="$pentium64_cflags $debug_cflags $valgrind_flags" -extra_configs="$pentium_configs $debug_configs $valgrind_configs $max_configs" +extra_configs="$pentium_configs $debug_configs $valgrind_configs $max_configs --without-plugin-tokudb" . "$path/FINISH.sh" |