Links2004/arduinoWebSockets
1
0
Fork 1
mirror of https://github.com/Links2004/arduinoWebSockets.git synced 2025-07-21 19:02:06 +02:00
Code Issues Packages Projects Releases Wiki Activity

no need for a full clone

Browse Source
This commit is contained in:
Links
2021-01-06 09:18:27 +01:00
parent c98baafda7
commit 2f21590e55
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
travis/common.sh
View File

@ -97,7 +97,7 @@ function get_core()
if [ "$1" = "esp8266" ] ; then if [ "$1" = "esp8266" ] ; then
mkdir esp8266com mkdir esp8266com
cd esp8266com cd esp8266com
git clone https://github.com/esp8266/Arduino.git esp8266 git clone --depth 1 https://github.com/esp8266/Arduino.git esp8266
cd esp8266/ cd esp8266/
rm -rf .git rm -rf .git
cd tools cd tools
@ -107,7 +107,7 @@ function get_core()
if [ "$1" = "esp32" ] ; then if [ "$1" = "esp32" ] ; then
mkdir espressif mkdir espressif
cd espressif cd espressif
git clone https://github.com/espressif/arduino-esp32.git esp32 git clone --depth 1 https://github.com/espressif/arduino-esp32.git esp32
cd esp32/ cd esp32/
rm -rf .git rm -rf .git
cd tools cd tools