diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-06-27 10:13:39 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-07-03 15:28:06 +0200 |
| commit | 6a52df505ad7d6d5026ea616dc9cc48b31d65011 (patch) | |
| tree | 818b4ea14f9226d9e4ec16646f34d022bfafa899 /.gitignore | |
| parent | 3f289db69d8e3a75fb0beab4606c350133b8ace3 (diff) | |
| download | patches-6a52df505ad7d6d5026ea616dc9cc48b31d65011.tar patches-6a52df505ad7d6d5026ea616dc9cc48b31d65011.tar.gz | |
gnu: mysql: Remove unnecessary binaries.
This saves ~42 MiB on x86_64.
* gnu/packages/databases.scm (mysql)[arguments]: Add 'remove-extra-binaries'
phase.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions