From 3c99c5cf45d109e72beba8a2f5cbacddd14f868d Mon Sep 17 00:00:00 2001 From: Xiang Xiao Date: Mon, 12 Dec 2022 10:47:46 +0800 Subject: [PATCH] tools/ci/cibuild.sh: Fix destination path 'pinguino-compilers' already exists and is not an empty directory. Signed-off-by: Xiang Xiao --- tools/ci/cibuild.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/ci/cibuild.sh b/tools/ci/cibuild.sh index 40956c600d..71a93ef360 100755 --- a/tools/ci/cibuild.sh +++ b/tools/ci/cibuild.sh @@ -253,7 +253,7 @@ function kconfig-frontends { } function mips-gcc-toolchain { - if [ ! -f "${tools}/pinguino-compilers" ]; then + if [ ! -d "${tools}/pinguino-compilers" ]; then cd "${tools}" git clone https://github.com/PinguinoIDE/pinguino-compilers fi