]> git.lizzy.rs Git - rust.git/commitdiff
remove unnecessary line break
authorYOUNGSUK_KIM <ykim837@gatech.edu>
Tue, 15 Oct 2019 02:37:54 +0000 (22:37 -0400)
committerYOUNGSUK_KIM <ykim837@gatech.edu>
Tue, 15 Oct 2019 02:37:54 +0000 (22:37 -0400)
src/bin/cargo-miri.rs

index 3af5a2b35db35b23de42ad5dcdc14801e6694c07..479374ee47501331a6b6b437a39c901f2df1fc32 100644 (file)
@@ -334,7 +334,6 @@ fn setup(ask_user: bool) {
         Some(target) => target == rustc_version::version_meta().unwrap().host,
     };
     let sysroot = if is_host { dir.join("HOST") } else { PathBuf::from(dir) };
-
     std::env::set_var("MIRI_SYSROOT", &sysroot); // pass the env var to the processes we spawn, which will turn it into "--sysroot" flags
     if print_env {
         println!("MIRI_SYSROOT='{}'", sysroot.display().to_string().replace('\'', r#"'"'"'"#));