Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 06:00:15 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #21951 - servo:jdm-patch-10, r=paulrouget

Browse source 
Don't strip final character of directory name for maven package.

Right now we're uploading to `servoview-armv7/0.0.1.20181015.532775` when the actual files are called `servoview-armv7-0.0.1.20181015.5327758.aar` (note the extra `8`). This was a mistake caused by trying to remove excess `/` characters during development.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/21951)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2018-10-15 20:14:31 -04:00 • committed by GitHub
commit f88f312224
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
python/servo/package_commands.py
View file

@ -552,7 +552,7 @@ class PackageCommands(CommandBase):
base_dir = os.path.join(directory, artifact_dir)
if not os.path.isdir(base_dir):
continue
package_upload_base = "{}/{}".format(dest_key_base, artifact_dir[:-1])
package_upload_base = "{}/{}".format(dest_key_base, artifact_dir)
# Upload all of the files inside the subdirectory.
for f in os.listdir(base_dir):
file_upload_key = "{}/{}".format(package_upload_base, f)