diff --git a/extras/scripts/publish.sh b/extras/scripts/publish.sh index 15069f4b..670e83ab 100755 --- a/extras/scripts/publish.sh +++ b/extras/scripts/publish.sh @@ -60,5 +60,6 @@ add_tag push 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" diff --git a/extras/scripts/wandbox/publish.sh b/extras/scripts/wandbox/publish.sh index 87067903..2884363d 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" + echo "$1: $URL" } compile "JsonGeneratorExample"