diff options
author | 2017-10-12 08:43:43 -0700 | |
---|---|---|
committer | 2017-10-12 08:43:43 -0700 | |
commit | cec780ed045a79cf27455d2524fc57c6ac18f231 (patch) | |
tree | 474facf369cc8e671654605e6e5648b191d44ee6 /tools | |
parent | 5d73d47f642dcd1b30a59c7a53c5332465bd0efa (diff) |
Fix sanity
Diffstat (limited to 'tools')
-rw-r--r-- | tools/run_tests/generated/tests.json | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/run_tests/generated/tests.json b/tools/run_tests/generated/tests.json index 07af0c1767..1626a35f31 100644 --- a/tools/run_tests/generated/tests.json +++ b/tools/run_tests/generated/tests.json @@ -4331,7 +4331,8 @@ "mac", "posix", "windows" - ] + ], + "uses_polling": true }, { "args": [], |