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 /HACKING | |
parent | 12bcf94a9a3d2ea1817e15b517c78771d6260bbf (diff) | |
download | patches-50fe945c01e6829d34258ffefc4a5a9d68a908bd.tar patches-50fe945c01e6829d34258ffefc4a5a9d68a908bd.tar.gz |
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 'HACKING')
0 files changed, 0 insertions, 0 deletions