diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-11-25 09:46:40 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-11-25 11:59:54 +0100 |
| commit | b6094b1f0a6760b9f5296364cf5edb8a2e64953c (patch) | |
| tree | b35b0b9f8cfc83c193018f06207c3ef31938f7df /doc | |
| parent | 39570137e5a7f4d1ca2ba78d189c107caebd5b6c (diff) | |
| download | patches-b6094b1f0a6760b9f5296364cf5edb8a2e64953c.tar patches-b6094b1f0a6760b9f5296364cf5edb8a2e64953c.tar.gz | |
gnu: dico: Sort entries in .a files deterministically.
* gnu/packages/patches/dico-libtool-deterministic.patch: New file.
* gnu/packages/dico.scm (dico)[source]: Use it.
[arguments]: Add #:make-flags.
* gnu-system.am (dist_patch_DATA): Add the patch.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions