Generate gzip binaries

This commit is contained in:
Jason2866 2020-03-21 15:57:59 +01:00 committed by GitHub
parent b6fc31ebb0
commit 5c0d78ac42
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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