summaryrefslogtreecommitdiff
path: root/gnu/system
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2014-11-06 14:54:40 +0100
committerLudovic Courtès <ludo@gnu.org>2014-11-06 14:54:40 +0100
commit50fe945c01e6829d34258ffefc4a5a9d68a908bd (patch)
tree0712bfdb3544bb03ce52fc9f7639375cad582cf9 /gnu/system
parent12bcf94a9a3d2ea1817e15b517c78771d6260bbf (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