Set up CI with Azure Pipelines (#275)

2026-08-21 00:00:12 +02:00 · 2019-07-30 10:29:00 -07:00
parent ae7d884582
commit e07a949665
14 changed files with 287 additions and 205 deletions
@@ -0,0 +1,22 @@
+diff --git a/src/docker.rs b/src/docker.rs
+index 1525b87..5c9cd54 100644
+--- a/src/docker.rs
+++ b/src/docker.rs
+@@ -62,7 +62,7 @@ pub fn register(target: &Target, verbose: bool) -> Result<()> {
+     docker_command("run")
+         .arg("--privileged")
+         .arg("--rm")
+-        .arg("-it")
+        .arg("-i")
+         .arg("ubuntu:16.04")
+         .args(&["sh", "-c", cmd])
+         .run(verbose)
+@@ -160,7 +160,7 @@ pub fn run(target: &Target,
+         .args(&["-v", &format!("{}:/rust:ro", sysroot.display())])
+         .args(&["-v", &format!("{}:/target", target_dir.display())])
+         .args(&["-w", "/project"])
+-        .args(&["-it", &image(toml, target)?])
+        .args(&["-i", &image(toml, target)?])
+         .args(&["sh", "-c", &format!("PATH=$PATH:/rust/bin {:?}", cmd)])
+         .run_and_get_status(verbose)
+ }