Searched full:debian_arch (Results 1 – 3 of 3) sorted by relevance
20 DEBIAN_ARCH="arm64"36 DEBIAN_ARCH="armhf"43 DEBIAN_ARCH="amd64"115 if [[ ${DEBIAN_ARCH} = "arm64" ]]; then152 https://${PIPELINE_ARTIFACTS_BASE}/${DEBIAN_ARCH}/$f157 …S3_JWT_FILE}" ${S3_ARTIFACT_NAME} https://${PIPELINE_ARTIFACTS_BASE}/${DEBIAN_ARCH}/${S3_ARTIFACT_…159 echo "Download vmlinux.xz from https://${PIPELINE_ARTIFACTS_BASE}/${DEBIAN_ARCH}/vmlinux.xz"
40 --kernel-url-prefix "https://${PIPELINE_ARTIFACTS_BASE}/${DEBIAN_ARCH}" \41 …--build-url "${FDO_HTTP_CACHE_URI:-}https://${PIPELINE_ARTIFACTS_BASE}/${DEBIAN_ARCH}/kernel-files…
27 DEBIAN_ARCH: "armhf"43 DEBIAN_ARCH: "arm64"59 DEBIAN_ARCH: "amd64"