arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-07-27 18:02:17 +03:00
Code Activity

Merge branch 'master' of https://github.com/esp8266/Arduino

Browse Source
This commit is contained in:
Pascal Gollor
2015-11-02 10:10:25 +01:00
parent e88ea3cde7 7e8bcca1d9
commit 1ee0aa2b37
3 changed files with 12 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
package/build_boards_manager_package.sh
View File

@ -8,7 +8,7 @@ if [ -z "$REMOTE_URL" ]; then
echo "REMOTE_URL not defined, using default"
fi
echo "Remote: $REMOTE_URL"
pushd ..
# Figure out how will the package be called
ver=`git describe --tags --always`
package_name=esp8266-$ver
@ -16,9 +16,9 @@ echo "Version: $ver"
echo "Package name: $package_name"
# Create directory for the package
outdir=versions/$ver/$package_name
srcdir=$PWD/..
rm -rf versions/$ver
outdir=package/versions/$ver/$package_name
srcdir=$PWD
rm -rf package/versions/$ver
mkdir -p $outdir
# Some files should be excluded from the package
@ -58,7 +58,7 @@ $SED 's/tools.mkspiffs.path={runtime.platform.path}\/tools\/mkspiffs/tools.mkspi
> $outdir/platform.txt
# Zip the package
pushd versions/$ver
pushd package/versions/$ver
echo "Making $package_name.zip"
zip -qr $package_name.zip $package_name
rm -rf $package_name
@ -80,3 +80,4 @@ jq ".packages[0].platforms[0].version = \"$ver\" | \
> package_esp8266com_index.json
popd
popd