diff options
| author | Space Meyer <spm@google.com> | 2023-05-02 14:28:12 +0200 |
|---|---|---|
| committer | Space Meyer <git@the-space.agency> | 2023-05-02 16:09:28 +0200 |
| commit | 48e0a81d77e80af7bdc154ef423accc74517f806 (patch) | |
| tree | b94017e965753a5a8b9a3896d76d273c7a9f7cb7 /executor/executor.cc | |
| parent | a5625da37fd55922bfad3161db3f041a54140fac (diff) | |
dashboard: enable CONFIG_PAGE_TABLE_CHECK for emu targets
The way syz-kconf works, having the reference to timeouts_emu here
means users must have at least one config using timeouts_emu,
otherwise syz-kconf will complain.
We don't use -timeouts_emu for any of our other common config patches.
CONFIG_PAGE_TABLE_CHECK is not even one of our more expensive config
patches. Let's not give it a special treatment.
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions