]> git.ipfire.org Git - thirdparty/linux.git/blame - .cocciconfig
x86/bugs: Replace CONFIG_SPECTRE_BHI_{ON,OFF} with CONFIG_MITIGATION_SPECTRE_BHI
[thirdparty/linux.git] / .cocciconfig
CommitLineData
dd951fc1
LR
1[spatch]
2 options = --timeout 200
3 options = --use-gitgrep