diff --git a/tools/ci/platforms/linux.sh b/tools/ci/platforms/linux.sh
index 683bded476..b78ca2c2bd 100755
--- a/tools/ci/platforms/linux.sh
+++ b/tools/ci/platforms/linux.sh
@@ -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
diff --git a/tools/ci/platforms/ubuntu.sh b/tools/ci/platforms/ubuntu.sh
index eaafe751a3..a3cffd9eba 100755
--- a/tools/ci/platforms/ubuntu.sh
+++ b/tools/ci/platforms/ubuntu.sh
@@ -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