diff options
| author | Erich Eckner <git@eckner.net> | 2019-11-04 05:58:49 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-11-04 05:58:49 +0100 |
| commit | 8a304d8acabaa1ed2136be3638078db67586b9c1 (patch) | |
| tree | 9b5d66cffd634af933ca34a3d42d114dd519408c /Makefile | |
| parent | b139c886ce5965d9cc37649d1c507506d0e15044 (diff) | |
| download | check-kernel-8a304d8acabaa1ed2136be3638078db67586b9c1.tar.xz | |
check-kernel: some arches do *still* name their kernel "arch"
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions