arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-04-19 23:22:16 +03:00
Code

cleaning

Browse Source
This commit is contained in:
David Gauchard 2018-12-11 21:03:24 +01:00
parent 84a0f8df96
commit 680efea8c3
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
package/build_boards_manager_package.sh
View File

@ -1,10 +1,6 @@
#!/bin/bash #!/bin/bash
# #
#set -x
#CI_GITHUB_API_KEY="vt6StBC+ghqnh8YrreNo3wAzGGddJ2S4YpVZkz4S84xLEGWkIEghQhTrjlhzjBsrnHfLNko4tz9EsNx0yQ8yBlPOdReETGAkqnAU7PSPFss0qGcCRUXYtozNjbFQq6TWIxECK4xq40R9tE6NyeOpm9AYJtwF/v18u2T+T9qSgGQ="
# Extract next version from platform.txt # Extract next version from platform.txt
next=`sed -n -E 's/version=([0-9.]+)/\1/p' ../platform.txt` next=`sed -n -E 's/version=([0-9.]+)/\1/p' ../platform.txt`