diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-03-26 22:17:23 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-03-26 22:17:23 (GMT) |
| commit | 94f01075a34cfe42f41e777fc4d5e07977097b74 (patch) | |
| tree | bd24ac6b321f97269c1ba6f97b26fd6b7fbf9e34 /patches | |
| parent | d07a32ebade3027f55e892cec1cdbb1305e4a11c (diff) | |
scripts/populate: fix handling the forced libraries list-file
If a list-file is used, then each library in the file will be handled
twice (not a real issue, as the second iteration will find the library
already present, just avoid doing the job twice).
(transplanted from 7fec5db8933cb296c665b8526f27a779aa0c0c7a)
Diffstat (limited to 'patches')
0 files changed, 0 insertions, 0 deletions