diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/updater.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/updater.sh b/.github/workflows/updater.sh index 4e30c38..1499a0f 100644 --- a/.github/workflows/updater.sh +++ b/.github/workflows/updater.sh @@ -31,6 +31,7 @@ fi echo "Current version: $current_version" echo "Latest release from upstream: $version" echo "VERSION=$version" >> $GITHUB_ENV +echo "REPO=$repo" >> $GITHUB_ENV # For the time being, let's assume the script will fail echo "PROCEED=false" >> $GITHUB_ENV @@ -81,6 +82,7 @@ SOURCE_SUM_PRG=sha256sum SOURCE_FORMAT=$extension SOURCE_IN_SUBDIR=true SOURCE_FILENAME= +SOURCE_EXTRACT=true EOT echo "... conf/$src.src updated" |