diff options
| author | dzwdz | 2023-06-20 20:38:18 +0200 |
|---|---|---|
| committer | dzwdz | 2023-06-20 20:38:18 +0200 |
| commit | fffd37f1680664bf055d8f5603ed1967718a6492 (patch) | |
| tree | eb10273e5ae3f46d2769888f1449ee89cf4257b6 /port | |
| parent | a607ebac400857534582f0f50f0817ecc81812a6 (diff) | |
build: remove the old "linter"
It was a good idea, but it didn't even work. 0/10
Maybe I should replace it with semgrep someday.
For the only current rule, I can split src/kernel/ into src/kernel/{amd64,generic},
and just don't have amd64 in generic's include path.
Diffstat (limited to 'port')
0 files changed, 0 insertions, 0 deletions