diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2017-07-22 10:53:02 -0700 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-07-23 09:41:55 -0400 |
| commit | e10ca0800469bcae1d208d2d4540e44b21ee1edf (patch) | |
| tree | 047b69834ddc7f19e0a37527485085441f660dde /debian | |
| parent | 20dc9f103776c77e15a8aa756d816a6f54e45c90 (diff) | |
avoid one failure of Reboot.toKernelNewerThan when /boot not mounted
If the running kernel is new enough, there is no need to look at the
kernels installed on the system.
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions