diff --git a/.travis.yml b/.travis.yml index 34810ec71..8bdd088f0 100644 --- a/.travis.yml +++ b/.travis.yml @@ -14,7 +14,7 @@ before_install: - git submodule update --init stages: - - build +# - build - deploy jobs: diff --git a/package/build_boards_manager_package.sh b/package/build_boards_manager_package.sh index a5a5c0de5..702544ed8 100755 --- a/package/build_boards_manager_package.sh +++ b/package/build_boards_manager_package.sh @@ -49,13 +49,14 @@ rm -rf package/versions/$ver mkdir -p $outdir # Get submodules -modules=libraries/SoftwareSerial -for mod in $modules; do - echo "refreshing submodule: $mod" - git submodule update --init -- $mod - (cd $mod && git reset --hard) -done -echo "done with submodules" +# useless: already cloned by travis +#modules=libraries/SoftwareSerial +#for mod in $modules; do +# echo "refreshing submodule: $mod" +# git submodule update --init -- $mod +# (cd $mod && git reset --hard) +#done +#echo "done with submodules" # Some files should be excluded from the package cat << EOF > exclude.txt @@ -141,11 +142,12 @@ if [ ! -z "$CI_GITHUB_API_KEY" ]; then else echo "Warning: CI_GITHUB_API_KEY not set" fi -echo "====================================" -curl $curl_gh_token_arg -D - https://api.github.com/repos/esp8266/Arduino/releases -echo "====================================" +#echo "====================================" +#curl $curl_gh_token_arg -D - https://api.github.com/repos/esp8266/Arduino/releases +#echo "====================================" # Get previous release name -curl --silent $curl_gh_token_arg https://api.github.com/repos/esp8266/Arduino/releases > releases.json +echo "debug: curl --silent -D /dev/stderr $curl_gh_token_arg https://api.github.com/repos/esp8266/Arduino/releases" +curl --silent -D /dev/stderr $curl_gh_token_arg https://api.github.com/repos/esp8266/Arduino/releases > releases.json # Previous final release (prerelase == false) prev_release=$(jq -r '. | map(select(.draft == false and .prerelease == false)) | sort_by(.created_at | - fromdateiso8601) | .[0].tag_name' releases.json) # Previous release (possibly a pre-release)