diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-12-29 10:01:09 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-12-29 13:56:15 +0100 |
| commit | 38b877e9ed19a16abc19e91b5571f485f3912b16 (patch) | |
| tree | e0d33c5dd25fdbeaed6d05d103a1e90a3418da14 /executor/executor_linux.h | |
| parent | 6ccdb808912948765c92f86acc89e34eed4f1586 (diff) | |
dashboard/config/linux: enable lockdep on arm64
It seems to be working now.
Diffstat (limited to 'executor/executor_linux.h')
0 files changed, 0 insertions, 0 deletions