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

examples for ESP32

Browse Source
This commit is contained in:
Links
2018-02-06 21:10:29 +01:00
parent 255f40eaa7
commit 0b35e32b2a
3 changed files with 68 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
travis/common.sh
View File

@ -25,6 +25,8 @@ function build_sketches()
function get_core()
{
echo Setup core for $1
cd $HOME/arduino_ide/hardware
if [ "$1" = "esp8266" ] ; then
@ -42,5 +44,5 @@ function get_core()
cd esp32/tools
python get.py
fi
}