diff options
author | bunnei <bunneidev@gmail.com> | 2019-11-06 21:36:50 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-06 21:36:50 -0500 |
commit | f1e4f3fc0c4caa29bcfcca75e73f2f360d2a8e42 (patch) | |
tree | 7c184e88467e0851f23f5b88b67b3873fe03f179 /.ci/scripts/common | |
parent | 468576284d8e102f84f456a7d4ab3701c3e0280a (diff) |
Revert "ci: Rename build folder only on non-mainline builds"
Diffstat (limited to '.ci/scripts/common')
-rw-r--r-- | .ci/scripts/common/post-upload.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.ci/scripts/common/post-upload.sh b/.ci/scripts/common/post-upload.sh index b80868635..bb4e9d328 100644 --- a/.ci/scripts/common/post-upload.sh +++ b/.ci/scripts/common/post-upload.sh @@ -1,12 +1,12 @@ #!/bin/bash -ex # Copy documentation -cp license.txt "$DIR_NAME" -cp README.md "$DIR_NAME" +cp license.txt "$REV_NAME" +cp README.md "$REV_NAME" -tar $COMPRESSION_FLAGS "$ARCHIVE_NAME" "$DIR_NAME" +tar $COMPRESSION_FLAGS "$ARCHIVE_NAME" "$REV_NAME" -mv "$DIR_NAME" $RELEASE_NAME +mv "$REV_NAME" $RELEASE_NAME 7z a "$REV_NAME.7z" $RELEASE_NAME |