github-mirrors/thirdparty-ArduinoJson
1
0
Fork 0
mirror of https://github.com/eledio-devices/thirdparty-ArduinoJson.git synced 2025-11-01 08:48:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fixed publish script

Browse Source
This commit is contained in:
Benoit Blanchon
2021-07-03 16:08:36 +02:00
parent 219475630a
commit 8a9a26588c
2 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
extras/scripts/publish.sh
View File

@@ -60,5 +60,6 @@ add_tag
push push
extras/scripts/build-arduino-package.sh extras/scripts/build-arduino-package.sh
extras/scripts/build-single-header.sh extras/scripts/build-single-header.sh "src/ArduinoJson.h" "../ArduinoJson-$TAG.h"
extras/scripts/build-single-header.sh "src/ArduinoJson.hpp" "../ArduinoJson-$TAG.hpp"
extras/scripts/wandbox/publish.sh "../ArduinoJson-$TAG.h" extras/scripts/wandbox/publish.sh "../ArduinoJson-$TAG.h"