diff options
| author | Mattia Rizzolo <mattia@debian.org> | 2016-01-09 10:45:34 +0000 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2016-01-11 17:46:41 +0100 |
| commit | 831ea74cddf8568b8648edddb394fdd3d1ba7b8e (patch) | |
| tree | dce40f839154245afc959eb035926c45cde3f3fa /debian/source | |
| parent | ace5a062fc5390e636b09c5684bfbeae755cf437 (diff) | |
Sort the list of sources to be built and linked
Fix reproducibility issue due to readdir() order by sorting
the list of sources to be built and linked.
[jak@debian.org: Added summary and fixed typo]
Closes: #810509
Diffstat (limited to 'debian/source')
0 files changed, 0 insertions, 0 deletions