diff options
Diffstat (limited to 'tools/run_tests/configs.json')
| -rw-r--r-- | tools/run_tests/configs.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/run_tests/configs.json b/tools/run_tests/configs.json index bcc4118d2f..b0839ef026 100644 --- a/tools/run_tests/configs.json +++ b/tools/run_tests/configs.json @@ -57,7 +57,7 @@ { "config": "ubsan", "environ": { - "UBSAN_OPTIONS": "print_stacktrace=1" + "UBSAN_OPTIONS": "halt_on_error=1:print_stacktrace=1" }, "timeout_multiplier": 1.5 }, |