We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 807bddb commit 6d0e8b1Copy full SHA for 6d0e8b1
tools/install-arduino.sh
@@ -41,8 +41,8 @@ fi
41
42
if [ "$AR_BRANCH" ]; then
43
echo "AR_BRANCH='$AR_BRANCH'"
44
+ git -C "$AR_COMPS/arduino" fetch --all && \
45
git -C "$AR_COMPS/arduino" checkout "$AR_BRANCH" && \
- git -C "$AR_COMPS/arduino" fetch && \
46
git -C "$AR_COMPS/arduino" pull --ff-only
47
fi
48
if [ $? -ne 0 ]; then exit 1; fi
0 commit comments