mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

avoid unnecessary allocation

Browse Source
This commit is contained in:
Ralf Jung 2019-07-13 15:18:15 +02:00
parent 677bde6851
commit a11d1f55ff
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/bin/miri.rs
View File

@ -184,10 +184,10 @@ fn main() {
// FIXME: Ideally we'd turn a bad build env into a compile-time error, but
// CTFE does not seem powerful enough for that yet.
if let Some(sysroot) = compile_time_sysroot() {
let sysroot_flag = "--sysroot".to_string();
if !rustc_args.contains(&sysroot_flag) {
let sysroot_flag = "--sysroot";
if !rustc_args.iter().any(|e| e == sysroot_flag) {
// We need to overwrite the default that librustc would compute.
rustc_args.push(sysroot_flag);
rustc_args.push(sysroot_flag.to_owned());
rustc_args.push(sysroot);
}
}