| Index: tools/mb/mb_config.pyl
|
| diff --git a/tools/mb/mb_config.pyl b/tools/mb/mb_config.pyl
|
| index 34fb9becf58694097e918a48ded2b8de80df8f0c..8f13b159d257e7e25cdcc2e75d5ef0ff19fc2f50 100644
|
| --- a/tools/mb/mb_config.pyl
|
| +++ b/tools/mb/mb_config.pyl
|
| @@ -1414,11 +1414,11 @@
|
| ],
|
|
|
| 'ubsan_release_bot': [
|
| - 'ubsan', 'release_bot',
|
| + 'ubsan', 'ubsan_no_recover_hack', 'release_bot',
|
| ],
|
|
|
| 'ubsan_vptr_edge_release_bot': [
|
| - 'ubsan_vptr', 'edge', 'release_bot',
|
| + 'ubsan_vptr', 'ubsan_no_recover_hack', 'edge', 'release_bot',
|
| ],
|
|
|
| 'ubsan_vptr_release_bot': [
|
|
|