diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-11-06 14:54:40 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-11-06 14:54:40 +0100 |
| commit | 50fe945c01e6829d34258ffefc4a5a9d68a908bd (patch) | |
| tree | 0712bfdb3544bb03ce52fc9f7639375cad582cf9 /gnu/system | |
| parent | 12bcf94a9a3d2ea1817e15b517c78771d6260bbf (diff) | |
gnu: ots: Make sure the shared library has the '.so' extension.
Fixes <http://bugs.gnu.org/18521>.
* gnu/packages/ots.scm (ots)[arguments]: Add #:phases.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions