diff --git a/fw_build.sh b/fw_build.sh index cd2d895..a83f9fb 100644 --- a/fw_build.sh +++ b/fw_build.sh @@ -88,6 +88,17 @@ # # 9. Install the ESP32 core: # ./arduino-cli core install esp32:esp32 +# +# 10. for updating the ESP32 core and libraries: +# ./arduino-cli core list +# ./arduino-cli core update-index +# ./arduino-cli core upgrade +# ./arduino-cli core list +# ./arduino-cli lib list +# ./arduino-cli lib update-index +# ./arduino-cli lib upgrade +# ./arduino-cli lib list +# # --------------------------------------------- set -e @@ -102,6 +113,20 @@ if [ ! -f arduino-cli ]; then exit 1 fi +echo "----------------------------------------------" +echo "Check updated libraries" +./arduino-cli lib list +./arduino-cli lib update-index +./arduino-cli lib upgrade +./arduino-cli lib list + +echo "----------------------------------------------" +echo "Check updated cores" +./arduino-cli core list +./arduino-cli core update-index +./arduino-cli core upgrade +./arduino-cli core list + mkdir -p ../build/output build_start=`date`