diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-10-06 23:09:48 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-10-07 00:05:18 +0200 |
| commit | 90d23ed9df33e35e157fecd8ab60f55e716ca42f (patch) | |
| tree | 48a698b848e5662c1b3e24d92fdf9e99663d343d /gnu/local.mk | |
| parent | 5266ff719e274056cb3e2b9740183f0063177255 (diff) | |
| download | patches-90d23ed9df33e35e157fecd8ab60f55e716ca42f.tar patches-90d23ed9df33e35e157fecd8ab60f55e716ca42f.tar.gz | |
system: Really filter out Linux device names for the store.
This is a followup to db4e8fd5d4a07d3be8ce68fb96722ef7077c0eee.
Fixes <https://bugs.gnu.org/28445>.
Reported by Mark H Weaver <mhw@netris.org>.
* gnu/system.scm (ensure-not-/dev): New procedure.
(read-boot-parameters)[ensure-not-/dev]: Remove.
(operating-system-boot-parameters): Use it.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions