diff options
| author |  philwo <philwo@google.com> | 2018-04-20 04:49:20 -0700 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2018-04-20 04:51:16 -0700 |
| commit | 2b5937032cc53e4d79490024ed1b4a8f805cd0af (patch) | |
| tree | f4de79a554d19035749f13dc869160f3aa1e9d46 /scripts | |
| parent | 96d3c91c714544584c9174759bedebf2a6be5e71 (diff) | |
Fix artifacts uploaded to GitHub as part of final releases.
We accidentally removed the .deb file, even though it's supposed to be uploaded and we didn't remove the .sig/.sha256 files of the artifacts that are *not* supposed to be uploaded.
This change fixes that.
PiperOrigin-RevId: 193651950
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/ci/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/ci/build.sh b/scripts/ci/build.sh index a2e45130c7..6681a838d2 100755 --- a/scripts/ci/build.sh +++ b/scripts/ci/build.sh @@ -324,6 +324,6 @@ function deploy_release() { github_working_dir="$(mktemp -d --tmpdir)" echo "github_working_dir = ${github_working_dir}" cp "${artifact_dir}"/* "${github_working_dir}" - rm -f "${github_working_dir}/bazel_${release_label}"*.{deb,dsc,tar.gz} + rm -f "${github_working_dir}/bazel_${release_label}"*.{dsc,tar.gz}{,.sha256,.sig} release_to_github "${github_working_dir}" } |