diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-06-16 21:27:10 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-06-16 21:27:10 -0400 |
| commit | 97b58af02edcbe205a4d9eb270ca6c4027c6d46f (patch) | |
| tree | da9cbab6a80aee11970a7ed35d43665e95aa4a22 /doc/todo/merge_request:_changes_to_Reboot.hs | |
| parent | 94a37a8b353e524cb6467760ce81437dfe3cad98 (diff) | |
comment
Diffstat (limited to 'doc/todo/merge_request:_changes_to_Reboot.hs')
| -rw-r--r-- | doc/todo/merge_request:_changes_to_Reboot.hs/comment_7_c556c4905ff4840e148bdd51a8dc1e53._comment | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/todo/merge_request:_changes_to_Reboot.hs/comment_7_c556c4905ff4840e148bdd51a8dc1e53._comment b/doc/todo/merge_request:_changes_to_Reboot.hs/comment_7_c556c4905ff4840e148bdd51a8dc1e53._comment new file mode 100644 index 00000000..5898e0a5 --- /dev/null +++ b/doc/todo/merge_request:_changes_to_Reboot.hs/comment_7_c556c4905ff4840e148bdd51a8dc1e53._comment @@ -0,0 +1,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. +"""]] |