Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[vcpkg] Use https sources for common tools #12738

Merged
merged 1 commit into from
Aug 24, 2020
Merged

[vcpkg] Use https sources for common tools #12738

merged 1 commit into from
Aug 24, 2020

Conversation

janisozaur
Copy link
Contributor

Upgrade links to common tools to HTTPS. Manually tested all the links affected

@JackBoosY JackBoosY self-assigned this Aug 4, 2020
@JackBoosY JackBoosY added the category:tool-update The issue is with build tool or build script, which requires update or should be executed correctly label Aug 4, 2020
@JackBoosY
Copy link
Contributor 

Can't open profile/psizeof_f08.f90 for writing at ../../../.././../src/openmpi-4-d5305a6659.clean/ompi/mpi/fortran/base/gen-mpi-sizeof.pl line 189.
make[2]: *** [profile/psizeof_f08.f90] Error 2
make[2]: *** Waiting for unfinished jobs....
mkdir: profile: File exists
make[1]: *** [all-recursive] Error 1
make: *** [all-recursive] Error 1

Please wait for other PR to fix this.

@JackBoosY JackBoosY added the depends:different-pr This PR or Issue depends on a PR which has been filed label Aug 18, 2020
@JackBoosY JackBoosY mentioned this pull request Aug 18, 2020
Merged
@JackBoosY JackBoosY added info:reviewed Pull Request changes follow basic guidelines and removed depends:different-pr This PR or Issue depends on a PR which has been filed labels Aug 20, 2020
@BillyONeal BillyONeal merged commit 723a5c2 into microsoft:master Aug 24, 2020
@BillyONeal
Copy link
Member

Thanks for your contribution!

remz1337 pushed a commit to remz1337/vcpkg that referenced this pull request Aug 25, 2020
@janisozaur @remz1337
[vcpkg] Use https sources for common tools (microsoft#12738)
39580ac
@dg0yt dg0yt mentioned this pull request Oct 5, 2022
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ras0219 ras0219 ras0219 approved these changes

@JackBoosY JackBoosY JackBoosY approved these changes

Assignees

@JackBoosY JackBoosY

Labels
category:tool-update The issue is with build tool or build script, which requires update or should be executed correctly info:reviewed Pull Request changes follow basic guidelines
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
4 participants
@janisozaur @JackBoosY @BillyONeal @ras0219