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 /scripts | |
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 'scripts')
0 files changed, 0 insertions, 0 deletions