diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-06-26 14:22:27 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-06-26 14:29:18 +0200 |
| commit | 88d4a9c2be12a754a99b3c4f8dc125a33be70927 (patch) | |
| tree | c9db3304e2d693d2f8a68b1815e32da66651f52e /gnu/build | |
| parent | 718d44cc9ff1a7e97b4e4ce028cc273c2e20cf93 (diff) | |
| download | patches-88d4a9c2be12a754a99b3c4f8dc125a33be70927.tar patches-88d4a9c2be12a754a99b3c4f8dc125a33be70927.tar.gz | |
vm: 'make-iso9660-image' makes 'grub.cfg' a GC root.
* gnu/build/vm.scm (make-iso9660-image): Add call to
'register-bootcfg-root'.
Diffstat (limited to 'gnu/build')
| -rw-r--r-- | gnu/build/vm.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/build/vm.scm b/gnu/build/vm.scm index a835c4204a..abecc8c470 100644 --- a/gnu/build/vm.scm +++ b/gnu/build/vm.scm @@ -438,7 +438,8 @@ GRUB configuration and OS-DRV as the stuff in it." ;; to modify it. #:deduplicate? #f #:reset-timestamps? #f)) - closures)) + closures) + (register-bootcfg-root "/tmp/root" config-file)) (let ((pipe (apply open-pipe* OPEN_WRITE |