gnu: efibootmgr: Update to 16.
authorMarius Bakke <mbakke@fastmail.com>
Sun, 15 Apr 2018 10:52:41 +0000 (12:52 +0200)
committerMarius Bakke <mbakke@fastmail.com>
Sun, 15 Apr 2018 10:52:41 +0000 (12:52 +0200)
commit732825f3f8ddc123db3ddf9ff066379adeed8471
treee390ee4067e73fac84e161a34bb5429ed9a3212a
parente0cfc3739698da4d683d8d5bcae1e144665c68c7
gnu: efibootmgr: Update to 16.

* gnu/packages/linux.scm (efibootmgr): Update to 16.
[arguments]: Add EFIDIR to #:make-flags.  Remove related 'branding' phase.
gnu/packages/linux.scm