From dea83875866f7c12b0bd9072fd2ed31b1ea86da6 Mon Sep 17 00:00:00 2001 From: Benoit Blanchon Date: Fri, 14 Jan 2022 09:22:55 +0100 Subject: [PATCH] Publish script: don't stop if wandbox fails --- extras/scripts/publish.sh | 2 +- extras/scripts/wandbox/publish.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/extras/scripts/publish.sh b/extras/scripts/publish.sh index 06ef9913..c5a4eefd 100755 --- a/extras/scripts/publish.sh +++ b/extras/scripts/publish.sh @@ -69,7 +69,7 @@ push extras/scripts/build-arduino-package.sh . "../ArduinoJson-$TAG.zip" 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" > "../ArduinoJson-$TAG-wandbox.txt" +extras/scripts/wandbox/publish.sh "../ArduinoJson-$TAG.h" > "../ArduinoJson-$TAG-wandbox.txt" || echo "Wandbox failed!" extras/scripts/get-release-page.sh "$VERSION" "CHANGELOG.md" "../ArduinoJson-$TAG-wandbox.txt" > "../ArduinoJson-$TAG.md" echo "You can now copy ../ArduinoJson-$TAG.md into arduinojson.org/collections/_versions/$VERSION.md" diff --git a/extras/scripts/wandbox/publish.sh b/extras/scripts/wandbox/publish.sh index 2884363d..df470d0c 100755 --- a/extras/scripts/wandbox/publish.sh +++ b/extras/scripts/wandbox/publish.sh @@ -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"