Merge pull request #301 from github/fix_source_archive

Fix filenames in source archives
This commit is contained in:
Nick Rolfe
2021-09-21 11:37:02 +01:00
committed by GitHub

View File

@@ -267,15 +267,17 @@ fn path_for(dir: &Path, path: &Path, ext: &str) -> PathBuf {
}
}
}
match result.extension() {
Some(x) => {
let mut new_ext = x.to_os_string();
new_ext.push(".");
new_ext.push(ext);
result.set_extension(new_ext);
}
None => {
result.set_extension(ext);
if !ext.is_empty() {
match result.extension() {
Some(x) => {
let mut new_ext = x.to_os_string();
new_ext.push(".");
new_ext.push(ext);
result.set_extension(new_ext);
}
None => {
result.set_extension(ext);
}
}
}
result