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 /scripts/populate.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 'scripts/populate.in')
| -rw-r--r-- | scripts/populate.in | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/scripts/populate.in b/scripts/populate.in index 027303d..04f66df 100644 --- a/scripts/populate.in +++ b/scripts/populate.in @@ -206,6 +206,7 @@ do_add_lib() { pushd "${CT_ROOT_DST_DIR}" >/dev/null # First of, copy the forced libraries into the working copy +lib_list= if [ -n "${CT_LIB_FILE}" ]; then lib_list=$("${sed}" -r -e ':loop; s/#.*//;' \ -e 's/[[:space:]]+//g;' \ @@ -213,9 +214,6 @@ if [ -n "${CT_LIB_FILE}" ]; then -e '/$/N; s/\n//; tloop;' \ "${CT_LIB_FILE}" ) - CT_LIB_LIST=$(echo "${CT_LIB_LIST}:${lib_list}" \ - |"${sed}" -r -e 's/:+/:/g; s/^:+//; s/:+$//;' \ - ) fi CT_LIB_LIST=$(echo "${CT_LIB_LIST}:${lib_list}" \ |"${sed}" -r -e 's/^:+//; s/:+$//; s/:+/ /g;' \ |