From d0f893dfba82c4089eda4cc7c86cde653ecf839e Mon Sep 17 00:00:00 2001
From: simbit18 <101105604+simbit18@users.noreply.github.com>
Date: Tue, 28 May 2024 12:14:21 +0200
Subject: [PATCH] tools/ci/platforms: linux.sh and ubuntu.sh fix mkdir: wamrc:
 File exists

mkdir wamrc -> mkdir -p wamrc
---
 tools/ci/platforms/linux.sh  | 2 +-
 tools/ci/platforms/ubuntu.sh | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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