fix(elan-dist): Windows target triple

leanprover · Apr 12, 2018 · e20b59c · e20b59c
1 parent 921e01e
commit e20b59c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/elan-dist/src/manifestation.rs b/src/elan-dist/src/manifestation.rs
@@ -307,7 +307,7 @@ impl Manifestation {
         let informal_target = match self.target_triple.0.as_str() {
             "x86_64-unknown-linux-gnu" => Some("linux"),
             "x86_64-apple-darwin" => Some("darwin"),
-            "x86_64-pc-windows" => Some("windows"),
+            "x86_64-pc-windows-msvc" => Some("windows"),
             _ => None,
         };
         let url = new_manifest.iter().find(|u|