Searched full:oocd_distro_url (Results 1 – 1 of 1) sorted by relevance
79 if [[ ! -z "$OOCD_DISTRO_URL" && "$CI_JOB_STAGE" == "target_test" ]]; then80 echo "Using custom OpenOCD from ${OOCD_DISTRO_URL}"81 wget $OOCD_DISTRO_URL82 ARCH_NAME=$(basename $OOCD_DISTRO_URL)