Skip to content

Commit

Permalink
Use wget instead of curl for robustness
Browse files Browse the repository at this point in the history
Fixes #12
  • Loading branch information
rui314 committed Feb 20, 2024
1 parent a06ef65 commit 910273f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ runs:
steps:
- run: |
echo "mold ${{ inputs.mold-version }}"
curl -L --retry 10 --silent --show-error https://github.com/rui314/mold/releases/download/v${{ inputs.mold-version }}/mold-${{ inputs.mold-version }}-$(uname -m)-linux.tar.gz | sudo tar -C /usr/local --strip-components=1 --no-overwrite-dir -xzf -
wget -O- --timeout=10 --waitretry=3 --retry-connrefused https://github.com/rui314/mold/releases/download/v${{ inputs.mold-version }}/mold-${{ inputs.mold-version }}-$(uname -m)-linux.tar.gz | sudo tar -C /usr/local --strip-components=1 --no-overwrite-dir -xzf -
test ${{ inputs.make-default }} = true -a "$(realpath /usr/bin/ld)" != /usr/local/bin/mold && sudo ln -sf /usr/local/bin/mold "$(realpath /usr/bin/ld)"; true
shell: bash
if: runner.os == 'linux'

0 comments on commit 910273f

Please sign in to comment.