diff options
| author | Erich Eckner <git@eckner.net> | 2022-03-11 20:51:24 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2022-03-11 20:51:24 +0100 |
| commit | 24bf05a7dab7ca45c1fd289dcc2aa67a414170f2 (patch) | |
| tree | 79fe36f7ed8aeaaa937ef91e96375aa39451691c /Makefile | |
| parent | 1e69cd1449b855851c862fe1d4475dee96c869a6 (diff) | |
| download | check-kernel-24bf05a7dab7ca45c1fd289dcc2aa67a414170f2.tar.xz | |
only reboot if not yet shutting down
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions