diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2023-10-31 17:22:49 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2023-10-31 22:32:53 +0200 |
| commit | e82b700228debd37a1cb1aff2d23d56f8d2e5768 (patch) | |
| tree | 0754c3ce35c7538ed17dcb65dd8a5092c789542b /gnu/packages/coq.scm | |
| parent | d96a9c7473a6d07747f59eeda7d4085173c25383 (diff) | |
| download | guix-e82b700228debd37a1cb1aff2d23d56f8d2e5768.tar.gz guix-e82b700228debd37a1cb1aff2d23d56f8d2e5768.zip | |
gnu: b43-tools: Use make-flags.
* gnu/packages/firmware.scm (b43-tools)[arguments]: Add make-flags.
Use make-flags in custom 'build and 'install phases. Remove trailing #t
from phases.
Change-Id: I8576351ecd571d191598943a2d143ab3e3e9da09
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions