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

Publish script: don't stop if wandbox fails

Browse Source
This commit is contained in:
Benoit Blanchon
2022-01-14 09:22:55 +01:00
parent 6ea2815341
commit dea8387586
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
extras/scripts/wandbox/publish.sh
View File

@@ -21,7 +21,7 @@ compile() {
END
URL=$(curl -sS -H "Content-type: application/json" -d @parameters.json https://wandbox.org/api/compile.json | jq --raw-output .url)
rm parameters.json
echo "$1: $URL"
[ -n "$URL" ] && echo "$1: $URL"
}
compile "JsonGeneratorExample"