diff options
| author | Erich Eckner <git@eckner.net> | 2019-12-19 08:26:17 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-12-19 08:29:08 +0100 |
| commit | 8fab924864b966cc9e2a23878b11c6cd5782cf11 (patch) | |
| tree | 1f6b7ce02224258daca9cb03990100df66a5a15b /Makefile | |
| parent | 2ae598af077f6fa465338442dc7e282e48e2f866 (diff) | |
| download | check-kernel-8fab924864b966cc9e2a23878b11c6cd5782cf11.tar.xz | |
check-kernel.in: print name of machine to be rebooted
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions