fix

Author: lucasssvaz

tools/push-to-arduino.sh

@@ -38,8 +38,9 @@ if [ $LIBS_HAS_ASSET == "0" ]; then
 		echo "Creating asset '$LIBS_ZIP_FILENAME'..."
 
 		mv -f "dist/esp32-arduino-libs.zip" "dist/$LIBS_ZIP_FILENAME"
-		ASSET_UPLOAD_LINK=`github_release_asset_upload "$AR_LIBS_REPO" "$LIBS_RELEASE_ID" "$LIBS_ZIP_FILENAME" "dist/$LIBS_ZIP_FILENAME"`
-		if [ -z "$ASSET_UPLOAD_LINK" ]; then
+		LIBS_ASSET_ID=`github_release_asset_upload "$AR_LIBS_REPO" "$LIBS_RELEASE_ID" "$LIBS_ZIP_FILENAME" "dist/$LIBS_ZIP_FILENAME"`
+		echo "LIBS_ASSET_ID: $LIBS_ASSET_ID"
+		if [ -z "$LIBS_ASSET_ID" ]; then
 			echo "ERROR: Failed to upload asset '$LIBS_ZIP_FILENAME'"
 			exit 1
 		fi