diff options
author | Ludovic Courtès <ludo@gnu.org> | 2016-05-10 09:04:40 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2016-05-10 16:50:46 +0200 |
commit | 216c283b0adf0357032019ff73b5d14cff109612 (patch) | |
tree | 71f3efa4c435fd553b8403119ea814460a38c031 /gnu/local.mk | |
parent | 9ffe61b0ee38b0df88868706d5918e944a626cd9 (diff) | |
download | patches-216c283b0adf0357032019ff73b5d14cff109612.tar patches-216c283b0adf0357032019ff73b5d14cff109612.tar.gz |
gnu: python: Make sure shared libraries are stripped.
* gnu/packages/python.scm (python-2)[arguments]: Add
'make-libraries-writable' phase.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions