Verified Commit a7383164 authored by Alberto Miranda's avatar Alberto Miranda ♨️
Browse files

dep_scripts: Skip dependencies not explicitly provided via -d in dl_dep.sh

parent d4896773

scripts/dl_dep.sh

+4 −0
Original line number Diff line number Diff line
@@ -410,6 +410,10 @@ mkdir -p "${SOURCE_DIR}" 
## download dependencies

for dep in "${PROFILE_DEP_NAMES[@]}"; do



    if [[ -n "${DEPENDENCY}" && "${dep}" != "${DEPENDENCY}" ]]; then

        continue

    fi



    if [[ ! -z "${PROFILE_WGETDEPS[${dep}]:-}" ]]; then



        # dependency names can include a TAG after a colon (e.g. ofi:verbs),