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