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.

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

switch "make all" to build stage2 versions of fuzzer, cargo, and rustdoc #2514

Merged
merged 1 commit into from
Jun 7, 2012

Conversation

erickt
Copy link
Contributor

@erickt erickt commented Jun 6, 2012

This should trim some time off "make all" because it doesn't force the stage3 rustc to be built. Even better, we can directly use the cargo out of the build directory because we automatically build the stage2 libcore and libstd.

The downside is that the stage3 build directory now will be empty by default. Not sure how much of a downside that is though.

This should trim some time off "make all" because it doesn't force the
stage3 rustc to be built. Even better, we can directly use the cargo out
of the build directory because we automatically build the stage2 libcore
and libstd.
@brson
Copy link
Contributor

brson commented Jun 6, 2012

I merged this into the 'incoming' branch. Should be merged into master tonight.

@nikomatsakis nikomatsakis merged commit e849311 into rust-lang:master Jun 7, 2012
bors added a commit to rust-lang-ci/rust that referenced this pull request Sep 22, 2022
ensure we don't compare provenance

Comparing provenance is meaningless, since `Wildcard` might be any provenance.
celinval added a commit to celinval/rust-dev that referenced this pull request Jun 4, 2024
Improve Kani compiler to compile harnesses that have exact the same set of stubs in a single Rust compiler session. This reduces the number of times we compile a crate when it has multiple harnesses use the same set of stubs.

Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants