summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtools/ci.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/ci.sh b/tools/ci.sh
index 7105b2460..c7a6db79d 100755
--- a/tools/ci.sh
+++ b/tools/ci.sh
@@ -150,7 +150,8 @@ function ci_cc3200_build {
# GitHub tag of ESP-IDF to use for CI (note: must be a tag or a branch)
IDF_VER=v5.2.2
-PYTHON_VER=$(python --version | cut -d' ' -f2)
+PYTHON=$(command -v python3 2> /dev/null)
+PYTHON_VER=$(${PYTHON:-python} --version | cut -d' ' -f2)
export IDF_CCACHE_ENABLE=1