arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-06-28 05:01:28 +03:00
Code Activity

wip

Browse Source
This commit is contained in:
David Gauchard
2018-12-11 18:09:34 +01:00
parent 75a83f6e54
commit 98ee330317
2 changed files with 14 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.travis.yml
View File

@ -14,7 +14,7 @@ before_install:
- git submodule update --init - git submodule update --init
stages: stages:
- build # - build
- deploy - deploy
jobs: jobs:

24
package/build_boards_manager_package.sh
View File

@ -49,13 +49,14 @@ rm -rf package/versions/$ver
mkdir -p $outdir mkdir -p $outdir
# Get submodules # Get submodules
modules=libraries/SoftwareSerial # useless: already cloned by travis
for mod in $modules; do #modules=libraries/SoftwareSerial
echo "refreshing submodule: $mod" #for mod in $modules; do
git submodule update --init -- $mod # echo "refreshing submodule: $mod"
(cd $mod && git reset --hard) # git submodule update --init -- $mod
done # (cd $mod && git reset --hard)
echo "done with submodules" #done
#echo "done with submodules"
# Some files should be excluded from the package # Some files should be excluded from the package
cat << EOF > exclude.txt cat << EOF > exclude.txt
@ -141,11 +142,12 @@ if [ ! -z "$CI_GITHUB_API_KEY" ]; then
else else
echo "Warning: CI_GITHUB_API_KEY not set" echo "Warning: CI_GITHUB_API_KEY not set"
fi fi
echo "====================================" #echo "===================================="
curl $curl_gh_token_arg -D - https://api.github.com/repos/esp8266/Arduino/releases #curl $curl_gh_token_arg -D - https://api.github.com/repos/esp8266/Arduino/releases
echo "====================================" #echo "===================================="
# Get previous release name # 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) # 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) 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) # Previous release (possibly a pre-release)