add package.json to release zip (#6501)
* add package.json to release zip so it is directly useable from PlatformIO
This commit is contained in:
parent
ab197e12a9
commit
a1409ef90d
1 changed files with 1 additions and 0 deletions
1
.github/scripts/on-release.sh
vendored
1
.github/scripts/on-release.sh
vendored
|
|
@ -172,6 +172,7 @@ mkdir -p "$PKG_DIR/tools"
|
|||
# Copy all core files to the package folder
|
||||
echo "Copying files for packaging ..."
|
||||
cp -f "$GITHUB_WORKSPACE/boards.txt" "$PKG_DIR/"
|
||||
cp -f "$GITHUB_WORKSPACE/package.json" "$PKG_DIR/"
|
||||
cp -f "$GITHUB_WORKSPACE/programmers.txt" "$PKG_DIR/"
|
||||
cp -Rf "$GITHUB_WORKSPACE/cores" "$PKG_DIR/"
|
||||
cp -Rf "$GITHUB_WORKSPACE/libraries" "$PKG_DIR/"
|
||||
|
|
|
|||
Loading…
Reference in a new issue