diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2020-05-22 11:00:06 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2020-05-22 11:00:06 +0300 |
| commit | d8feee9f18ede0d1ea4d0e4876f09a0dab770295 (patch) | |
| tree | 461feed79e70a5043f92fb27d5ad4cd13f72825b /doc | |
| parent | 0bdfae5363f01a2ad0954ea864ab604c5062fb33 (diff) | |
| download | patches-d8feee9f18ede0d1ea4d0e4876f09a0dab770295.tar patches-d8feee9f18ede0d1ea4d0e4876f09a0dab770295.tar.gz | |
gnu: freeipmi: Don't build static libraries.
This shrinks the size of the package by about 33%.
* gnu/packages/freeipmi.scm (freeipmi)[arguments]: Add configure-flag to
disable static libraries.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions