diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2024-10-12 18:59:16 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2024-10-12 19:01:26 +0200 |
| commit | 30cef697d1cd77580d1cf23e42f6a3a410fd726f (patch) | |
| tree | 51b0fa8a25bbafec6aa426422e8df374c7a867de /nix/.gitignore | |
| parent | 7a89bbffd081129da8c2c5b58b4e12133bf210c5 (diff) | |
| download | guix-30cef697d1cd77580d1cf23e42f6a3a410fd726f.tar guix-30cef697d1cd77580d1cf23e42f6a3a410fd726f.tar.gz | |
gnu: linux-libre: Add ‘timeout’ property.
This changes adds a ‘timeout’ property, which is necessary when building
either ‘linux-libre’ or ‘linux-libre-headers’ on aarch64-linux, where
deblobbing takes more than 5 hours (the default timeout for Cuirass
jobs).
* gnu/packages/linux.scm (%linux-libre-timeout-properties): New
variable.
(make-linux-libre-headers*): Use it.
(make-linux-libre*): Likewise.
Change-Id: I0c398e06f1b9b1d217fa82493b79bca8589408c0
Diffstat (limited to 'nix/.gitignore')
0 files changed, 0 insertions, 0 deletions