tools/ci/platforms: linux.sh and ubuntu.sh fix mkdir: wamrc: File exists
mkdir wamrc -> mkdir -p wamrc
This commit is contained in:
parent
2e98f29277
commit
d0f893dfba
|
@ -308,7 +308,7 @@ wasi_sdk() {
|
|||
wasibasefile=wasi-sdk-19.0-linux
|
||||
wasmbasefile=wamrc-1.1.2-x86_64-ubuntu-20.04
|
||||
cd "${NUTTXTOOLS}"
|
||||
mkdir wamrc
|
||||
mkdir -p wamrc
|
||||
|
||||
# Download the latest WASI-enabled WebAssembly C/C++ toolchain prebuilt by WASM
|
||||
wget --quiet https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-19/${wasibasefile}.tar.gz
|
||||
|
|
|
@ -378,7 +378,7 @@ wasi_sdk() {
|
|||
wasibasefile=wasi-sdk-19.0-linux
|
||||
wasmbasefile=wamrc-1.1.2-x86_64-ubuntu-20.04
|
||||
cd "${NUTTXTOOLS}"
|
||||
mkdir wamrc
|
||||
mkdir -p wamrc
|
||||
|
||||
# Download the latest WASI-enabled WebAssembly C/C++ toolchain prebuilt by WASM
|
||||
wget --quiet https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-19/${wasibasefile}.tar.gz
|
||||
|
|
Loading…
Reference in New Issue