diff options
| author | Marius Bakke <marius@gnu.org> | 2021-05-09 12:44:08 +0200 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2021-05-09 20:03:04 +0200 |
| commit | 3cf1afb7e7249992b2db2f4f00899fd22237e89a (patch) | |
| tree | 06afb3bdda8241a52f9bd2f4dcbe0515a00274e0 /gnu/packages/patches/psm-repro.patch | |
| parent | a605ef3ce9dbd6b79dd9322f89d9facaf875b487 (diff) | |
gnu: cross-kernel-headers: Fix build.
This fixes a regression introduced in
0e2251fcf8189a4f642074d3aa898221b29c3a55, as "make headers_check" does not
actually build the headers in newer versions, instead "make headers_install"
built them as a side effect.
* gnu/packages/cross-base.scm (cross-kernel-headers)[arguments]: Adjust build
phase to call the correct Make target. While at it, migrate to MODIFY-PHASES.
Diffstat (limited to 'gnu/packages/patches/psm-repro.patch')
0 files changed, 0 insertions, 0 deletions