diff options
| author | flip1995 <philipp.krones@embecosm.com> | 2021-11-04 12:52:36 +0000 |
|---|---|---|
| committer | flip1995 <philipp.krones@embecosm.com> | 2021-11-04 12:52:36 +0000 |
| commit | 4d6c2cce0adbb5deeeffe7eac6a27aedcfe03437 (patch) | |
| tree | 2a4aff84542ee92b4f55100c39a20f4e0a0867b4 /src/tools/clippy/.github | |
| parent | 4061c0407978a00c5c2518d898ad8406da28c106 (diff) | |
| parent | e18101137866b79045fee0ef996e696e68c920b4 (diff) | |
Merge commit 'e18101137866b79045fee0ef996e696e68c920b4' into clippyup
Diffstat (limited to 'src/tools/clippy/.github')
| -rw-r--r-- | src/tools/clippy/.github/deploy.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tools/clippy/.github/deploy.sh b/src/tools/clippy/.github/deploy.sh index a3c57232f55..34225a54029 100644 --- a/src/tools/clippy/.github/deploy.sh +++ b/src/tools/clippy/.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 |