tools/ci/cibuild.sh: Fix destination path 'pinguino-compilers' already exists and is not an empty directory.

Signed-off-by: Xiang Xiao <xiaoxiang@xiaomi.com>
This commit is contained in:
Xiang Xiao
2022-12-12 10:47:46 +08:00
committed by Masayuki Ishikawa
parent 0a23bfea03
commit 3c99c5cf45
+1 -1
View File
@@ -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