gnu: mysql: Remove unnecessary binaries.
commit6a52df505ad7d6d5026ea616dc9cc48b31d65011
authorLudovic Courtès <ludo@gnu.org>
Sat, 27 Jun 2015 08:13:39 +0000 (27 10:13 +0200)
committerLudovic Courtès <ludo@gnu.org>
Fri, 3 Jul 2015 13:28:06 +0000 (3 15:28 +0200)
tree818b4ea14f9226d9e4ec16646f34d022bfafa899
parent3f289db69d8e3a75fb0beab4606c350133b8ace3
gnu: mysql: Remove unnecessary binaries.

This saves ~42 MiB on x86_64.

* gnu/packages/databases.scm (mysql)[arguments]: Add 'remove-extra-binaries'
  phase.
gnu/packages/databases.scm