You are reading a single comment by @parasquid and its replies.
Click here to read the full conversation.
-
I'm not really sure, how do I find out? I just used the
scripts/provision.sh ESP32
line for building.Looking at the script, it looks like this one:
curl -Ls https://github.com/espruino/EspruinoBuildTools/raw/master/esp32/deploy/esp-idf.tgz | tar xfz - --no-same-owner
(commit message says it's 3.1.3)
@parasquid, which version of ESP-IDF did you use ?