add a IDF_COMMIT variable that will checkout to an exact commit

This commit is contained in:
Larry Bernstone 2019-09-20 13:45:34 -06:00
parent ca771bdbc8
commit b34019b7e0

View file

@ -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"