diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-04-10 23:41:24 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-04-14 20:15:29 +0200 |
| commit | 8b4e76249a4d1b4af5da6a8b07f4fb3c92234c07 (patch) | |
| tree | cb32dfd32ac42b58c385e3f59c3e74e847be3ccc /gnu/local.mk | |
| parent | 5309c3a158fd7c9d8bd4bca3a34765479c237ced (diff) | |
| download | guix-8b4e76249a4d1b4af5da6a8b07f4fb3c92234c07.tar guix-8b4e76249a4d1b4af5da6a8b07f4fb3c92234c07.tar.gz | |
gnu: linux-libre: Set DEVPTS_MULTIPLE_INSTANCES only where needed.
* gnu/packages/linux.scm (%default-extra-linux-options): Move obsolete
CONFIG_DEVPTS_MULTIPLE_INSTANCES option…
(linux-libre-4.4): …here.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions