Skip to content

Commit

Permalink
dont rerun build script unnecessarily
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Aug 27, 2022
1 parent bb82124 commit d39b683
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions build.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
fn main() {
// Don't rebuild miri when nothing changed.
println!("cargo:rerun-if-changed=build.rs");
// Re-export the TARGET environment variable so it can
// be accessed by miri.
let target = std::env::var("TARGET").unwrap();
Expand Down

0 comments on commit d39b683

Please sign in to comment.