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 /dselect/names | |
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 'dselect/names')
0 files changed, 0 insertions, 0 deletions