diff options
| author | Erich Eckner <git@eckner.net> | 2019-07-15 18:10:06 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-07-15 18:15:14 +0200 |
| commit | cec60ba5e6aec0bc847b3078aeafe0f7e268f308 (patch) | |
| tree | ddaaa9a134c36f538dae7b1f7d1dad6e39bff01b /Makefile | |
| parent | 15b63cce1a911a84df521f859130e0e631b8a40b (diff) | |
| download | check-kernel-cec60ba5e6aec0bc847b3078aeafe0f7e268f308.tar.xz | |
check-kernel: find reboot in all kind of PATHs
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions