diff options
Diffstat (limited to 'BUILD/compile-pentium32-icc-valgrind-max')
| -rwxr-xr-x | BUILD/compile-pentium32-icc-valgrind-max | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/BUILD/compile-pentium32-icc-valgrind-max b/BUILD/compile-pentium32-icc-valgrind-max index 182028629ac..7d7a1a197ef 100755 --- a/BUILD/compile-pentium32-icc-valgrind-max +++ b/BUILD/compile-pentium32-icc-valgrind-max @@ -57,7 +57,7 @@ extra_flags="$pentium_cflags $debug_cflags $valgrind_flags" c_warnings="-Wall -Wcheck -wd161,444,279,810,981,1292,1469,1572" cxx_warnings="$c_warnings -wd869,874" -base_cxxflags="-fno-exceptions -fno-rtti" +base_cxxflags="-fno-exceptions" extra_configs="$pentium_configs $debug_configs $valgrind_configs" . "$path/FINISH.sh" |