From d2530850a38af18ada5e805f0f4539e0048c43b3 Mon Sep 17 00:00:00 2001 From: Me No Dev Date: Thu, 14 Jan 2021 11:17:21 +0200 Subject: [PATCH] Copy platformio-build.py in the release package --- .github/scripts/on-release.sh | 25 +++++++++++++------------ 1 file changed, 13 insertions(+), 12 deletions(-) diff --git a/.github/scripts/on-release.sh b/.github/scripts/on-release.sh index 7b32d9cc..b1ce400e 100755 --- a/.github/scripts/on-release.sh +++ b/.github/scripts/on-release.sh @@ -171,18 +171,19 @@ 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/programmers.txt" "$PKG_DIR/" -cp -Rf "$GITHUB_WORKSPACE/cores" "$PKG_DIR/" -cp -Rf "$GITHUB_WORKSPACE/libraries" "$PKG_DIR/" -cp -Rf "$GITHUB_WORKSPACE/variants" "$PKG_DIR/" -cp -f "$GITHUB_WORKSPACE/tools/espota.exe" "$PKG_DIR/tools/" -cp -f "$GITHUB_WORKSPACE/tools/espota.py" "$PKG_DIR/tools/" -cp -f "$GITHUB_WORKSPACE/tools/esptool.py" "$PKG_DIR/tools/" -cp -f "$GITHUB_WORKSPACE/tools/gen_esp32part.py" "$PKG_DIR/tools/" -cp -f "$GITHUB_WORKSPACE/tools/gen_esp32part.exe" "$PKG_DIR/tools/" -cp -Rf "$GITHUB_WORKSPACE/tools/partitions" "$PKG_DIR/tools/" -cp -Rf "$GITHUB_WORKSPACE/tools/sdk" "$PKG_DIR/tools/" +cp -f "$GITHUB_WORKSPACE/boards.txt" "$PKG_DIR/" +cp -f "$GITHUB_WORKSPACE/programmers.txt" "$PKG_DIR/" +cp -Rf "$GITHUB_WORKSPACE/cores" "$PKG_DIR/" +cp -Rf "$GITHUB_WORKSPACE/libraries" "$PKG_DIR/" +cp -Rf "$GITHUB_WORKSPACE/variants" "$PKG_DIR/" +cp -f "$GITHUB_WORKSPACE/tools/espota.exe" "$PKG_DIR/tools/" +cp -f "$GITHUB_WORKSPACE/tools/espota.py" "$PKG_DIR/tools/" +cp -f "$GITHUB_WORKSPACE/tools/esptool.py" "$PKG_DIR/tools/" +cp -f "$GITHUB_WORKSPACE/tools/gen_esp32part.py" "$PKG_DIR/tools/" +cp -f "$GITHUB_WORKSPACE/tools/gen_esp32part.exe" "$PKG_DIR/tools/" +cp -Rf "$GITHUB_WORKSPACE/tools/partitions" "$PKG_DIR/tools/" +cp -Rf "$GITHUB_WORKSPACE/tools/sdk" "$PKG_DIR/tools/" +cp -f "$GITHUB_WORKSPACE/tools/platformio-build.py" "$PKG_DIR/tools/" # Remove unnecessary files in the package folder echo "Cleaning up folders ..."