diff options
Diffstat (limited to 'BUILD/compile-pentium-debug-max')
| -rwxr-xr-x | BUILD/compile-pentium-debug-max | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/BUILD/compile-pentium-debug-max b/BUILD/compile-pentium-debug-max index 56e24617abb..941a63a209f 100755 --- a/BUILD/compile-pentium-debug-max +++ b/BUILD/compile-pentium-debug-max @@ -4,9 +4,7 @@ path=`dirname $0` set -- "$@" --with-debug=full . "$path/SETUP.sh" -extra_flags="$pentium_cflags $debug_cflags $max_cflags" -c_warnings="$c_warnings $debug_extra_warnings" -cxx_warnings="$cxx_warnings $debug_extra_warnings" -extra_configs="$pentium_configs $debug_configs $max_configs --with-experimental-collations" +extra_flags="$pentium_cflags $debug_cflags" +extra_configs="$pentium_configs $debug_configs $max_configs $error_inject --with-experimental-collations" . "$path/FINISH.sh" |