Merge pull request #7968 from Jason2866/patch-2

Generate gzip binaries
2025-04-24 06:47:17 +00:00 · 2020-03-21 16:00:03 +01:00 · 2020-03-21 16:00:03 +01:00 · 770497729a
commit 770497729a
parent b6fc31ebb0 5c0d78ac42
1 changed files with 1 additions and 0 deletions
--- a/platformio.ini
+++ b/platformio.ini
@ -85,6 +85,7 @@ extra_scripts             = ${scripts_defaults.extra_scripts}
 [scripts_defaults]
 extra_scripts             = pio/strip-floats.py
                            pio/name-firmware.py
+                            pio/gzip-firmware.py

 [esp82xx_defaults]
 build_flags               = -D NDEBUG