diff options
Diffstat (limited to 'infra/bots/infrabots.isolate')
-rw-r--r-- | infra/bots/infrabots.isolate | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/infra/bots/infrabots.isolate b/infra/bots/infrabots.isolate index 4936c6206a..4bdf7ddaff 100644 --- a/infra/bots/infrabots.isolate +++ b/infra/bots/infrabots.isolate @@ -7,6 +7,7 @@ '../../tools/builder_name_schema.py', '../../tools/dm_flags.py', '../../tools/nanobench_flags.py', + '../../tools/valgrind.supp', './', ], }, |