diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-04-06 15:16:09 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-04-11 20:48:12 +0200 |
| commit | 6a488a3504b345b193e24dfdba2a2ac6b1db1234 (patch) | |
| tree | bcb26173f0a6641559837e028a4ae31d074bf7a2 /etc/snippets | |
| parent | 7fa6155b2396224360660c255b89865d065c9f96 (diff) | |
vm: Preserve file permissions on /dev.
Previously, when REGISTER-CLOSURES? was false, we'd set all the files
under /dev to #o644, including /dev/null, /dev/zero, etc.
* gnu/build/vm.scm (root-partition-initializer): Call 'reset-timestamps'
separately for /dev, with #:preserve-permissions? #t.
Diffstat (limited to 'etc/snippets')
0 files changed, 0 insertions, 0 deletions