diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2018-04-15 12:52:41 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2018-04-15 12:52:41 +0200 |
| commit | 732825f3f8ddc123db3ddf9ff066379adeed8471 (patch) | |
| tree | e390ee4067e73fac84e161a34bb5429ed9a3212a /gnu/packages/ci.scm | |
| parent | e0cfc3739698da4d683d8d5bcae1e144665c68c7 (diff) | |
| download | guix-732825f3f8ddc123db3ddf9ff066379adeed8471.tar.gz | |
gnu: efibootmgr: Update to 16.
* gnu/packages/linux.scm (efibootmgr): Update to 16. [arguments]: Add EFIDIR to #:make-flags. Remove related 'branding' phase.
Diffstat (limited to 'gnu/packages/ci.scm')
0 files changed, 0 insertions, 0 deletions