devstar/webTerminal
14
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

fix/ci #8

Closed
alexios wants to merge 10 commits from fix/ci into main
pull from: fix/ci
merge into: devstar:main
Conversation 0 Commits 10 Files Changed 4 +14 -16
3 changed files with 14 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit ea1a4c4a52 - Show all commits

2
scripts/cross-build.sh
View File

@@ -144,7 +144,7 @@ build() {
echo "=== Installing toolchain ${ALIAS} (${TARGET})..."
mkdir -p "${CROSS_ROOT}" && export PATH="${PATH}:${CROSS_ROOT}/bin"
curl -kfSsLo- "${MUSL_CC_URL}/${TARGET}-cross.tgz" | tar xz -C "${CROSS_ROOT}" --strip-components=${COMPONENTS}
curl --http1.1 -kfSsLo- "${MUSL_CC_URL}/${TARGET}-cross.tgz" | tar xz -C "${CROSS_ROOT}" --strip-components=${COMPONENTS}
echo "=== Building target ${ALIAS} (${TARGET})..."