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 bfe028a53d..b08e836910 100644 --- a/infra/bots/infrabots.isolate +++ b/infra/bots/infrabots.isolate @@ -1,6 +1,7 @@ { 'variables': { 'files': [ + '../../tools/valgrind.supp', './', ], }, |