doc/todo/merge_request:_changes_to_Reboot.hs/comment_7_c556c4905ff4840e148bdd51a8dc1e53._comment


1
2
3
4
5
6
7
8
9
10
11
12
13

[[!comment format=mdwn
 username="joey"
 subject="""comment 7"""
 date="2016-06-17T01:21:08Z"
 content="""
If Reboot.toKernelNewerThan doesn't reboot right away, then
when a property `requires` it, the property's code is not
guaranteed to run under the new kernel.
So, an immediate reboot seems to make sense.

Making the sbuild properties automatically include
Reboot.toKernelNewerThan seems reasonable.
"""]]