diff options
| author | flip1995 <philipp.krones@embecosm.com> | 2021-10-21 18:00:57 +0200 |
|---|---|---|
| committer | flip1995 <philipp.krones@embecosm.com> | 2021-10-21 18:00:57 +0200 |
| commit | 96126e7ce9d23c451b536c1f8e80a540b0489a69 (patch) | |
| tree | 9bc2b3a90880a48a4e0291147fa689e5fa612c20 /.github/deploy.sh | |
| parent | 91496c2ac6abf6454c413bb23e8becf6b6dc20ea (diff) | |
Fix deploy script
I broke this script in #7502, so that the stable symlink isn't generated anymore. This reverts this change.
Diffstat (limited to '.github/deploy.sh')
| -rw-r--r-- | .github/deploy.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/deploy.sh b/.github/deploy.sh index a3c57232f55..34225a54029 100644 --- a/.github/deploy.sh +++ b/.github/deploy.sh @@ -13,7 +13,8 @@ cp util/gh-pages/lints.json out/master if [[ -n $TAG_NAME ]]; then echo "Save the doc for the current tag ($TAG_NAME) and point stable/ to it" cp -Tr out/master "out/$TAG_NAME" - ln -sf "$TAG_NAME" out/stable + rm -f out/stable + ln -s "$TAG_NAME" out/stable fi if [[ $BETA = "true" ]]; then |