diff options
| author | Carl Dong <contact@carldong.me> | 2019-05-28 15:57:41 +0000 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2019-05-29 15:44:54 +0200 |
| commit | 2ea77d48a739eb289f2472d2c30c37a30bbcb571 (patch) | |
| tree | 003810da699b9954aa1a99748de33e206fed00e6 /.gitignore | |
| parent | 7180dd671697e0215b140ebc0d36047b4b8375f2 (diff) | |
| download | guix-2ea77d48a739eb289f2472d2c30c37a30bbcb571.tar.gz guix-2ea77d48a739eb289f2472d2c30c37a30bbcb571.zip | |
gnu: cross-base: Allow non-default linux-headers.
* gnu/packages/cross-base.scm (cross-kernel-headers): Add
LINUX-HEADERS optional argument.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions