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

Small update to ease manual release generation (#7467)

Browse Source
This commit is contained in:
david gauchard 2020-07-23 07:34:21 +02:00 committed by GitHub
parent 555c9ebdf8
commit 83fc47f6d9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 30 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
package/build_boards_manager_package.sh
View File

@ -1,5 +1,16 @@
#!/bin/bash #!/bin/bash
if [ ! -z "${manualversion}" ]; then
# manual-made release based on $manualversion
ver=${manualversion}
plain_ver=${ver}
visiblever=${ver}
[ -z "${REMOTE_URL}" ] && REMOTE_URL=https://github.com/esp8266/Arduino/releases/download
else
# Extract the release name from a release # Extract the release name from a release
# Default to draft tag name # Default to draft tag name
@ -21,6 +32,7 @@ if [ "${ver%.*}" = 0.0 ]; then
ver=`git describe --tag HEAD` ver=`git describe --tag HEAD`
plain_ver=$ver plain_ver=$ver
fi fi
fi
set -e set -e