diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-11-23 22:10:37 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-11-23 22:12:19 +0100 |
| commit | 94147d672ab217f21e12bb20bd958e3da66a61f5 (patch) | |
| tree | a135cd5206549138fe271db5711ed12a54dc5bae /gnu/services | |
| parent | 4a74499cd9af6eea1e1d74e46bf0a7a7123d9e3b (diff) | |
gnu: mujs: Omit static library.
* gnu/packages/javascript.scm (mujs)[arguments]: Replace the default
'install phase which would install (only) the static library.
Diffstat (limited to 'gnu/services')
0 files changed, 0 insertions, 0 deletions