arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-07-30 16:24:09 +03:00
Code Activity

update AddrList and examples (#5422)

Browse Source
This commit is contained in:
david gauchard
2018-12-03 19:15:50 +01:00
committed by Develo
parent 31bee50102
commit 50cbdc0b92
6 changed files with 80 additions and 48 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tests/run_CI_locally.sh
View File

@ -33,7 +33,7 @@ if [ -d ${TMPCI} ]; then
echo ""
echo " -- updating CI directory in ${TMPCI} --"
echo ""
(cd ${TMPCI}; git checkout ${branch}; git pull)
(cd ${TMPCI}; git checkout master; git branch -D ${branch} || true; git checkout -b ${branch}; git pull origin ${branch})
else
echo ""
echo " -- installing CI directory in ${TMPCI} --"