github-ci: Don't die if already exists.

This commit is contained in:
Dag-Erling Smørgrav 2024-05-01 11:54:07 +02:00
parent 9cbdb916de
commit 8e7c117e8f

View file

@ -58,7 +58,7 @@ jobs:
wget --no-verbose "${download_url}"
chmod +x "${installer_filename}"
mkdir ~/.local/
mkdir -p ~/.local/
./"${installer_filename}" --prefix="${HOME}"/.local/ --skip-license