add esp32

2026-10-04 02:48:13 +10:00 · 2018-03-20 11:16:58 -07:00
parent c358378a27
commit 28ed839274
1 changed files with 2 additions and 0 deletions
@@ -26,6 +26,8 @@ install:
  - cd tools
  - python2 get.py
  - popd
+# esp32 needs WebServer_tng for now
+  - git clone https://github.com/bbx10/WebServer_tng.git /usr/local/share/arduino/libraries/WebServer_tng
 script:
  - "echo $PWD"
  - "echo $HOME"