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 | 1913d355b3839f372c0fc7701f231fd2a38f0ba3 (patch) | |
| tree | 27db82bd70b296bb68704184c4e6b03404186782 /config/global/paths.in | |
| parent | f36ceb7f544f2d5d993c09b316892dad43503da5 (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).
Diffstat (limited to 'config/global/paths.in')
0 files changed, 0 insertions, 0 deletions