diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-12-26 17:40:04 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-12-27 13:51:08 +0100 |
| commit | c987571fb4ee2e83cff55cfac7720767c7262fde (patch) | |
| tree | fc98c8f6d9d24ffc09b308836d12cb0e065a9cd7 /executor/executor.cc | |
| parent | 1d3d3cf8a7c67415b16089b05a54021cf8b120a6 (diff) | |
dashboard/config/linux: disable FORCEDETH
It's unclear why we have it enabled,
seems to be some hardware driver.
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions