diff --git a/tools/install-esp-idf.sh b/tools/install-esp-idf.sh index 9177e5f..5c1cbf5 100755 --- a/tools/install-esp-idf.sh +++ b/tools/install-esp-idf.sh @@ -20,6 +20,11 @@ if [ -z "$IDF_PATH" ]; then cd "$AR_ROOT" fi +if [ "$IDF_COMMIT" ]; then + git -C $IDF_PATH checkout $IDF_COMMIT + git -C $IDF_PATH submodule update +fi + if ! [ -x "$(command -v $IDF_TOOLCHAIN-gcc)" ]; then echo "GCC toolchain is not installed! Installing local copy"