diff options
Diffstat (limited to 'ci/cross-patch')
| -rw-r--r-- | ci/cross-patch | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/ci/cross-patch b/ci/cross-patch index f59b551..b1fb4ba 100644 --- a/ci/cross-patch +++ b/ci/cross-patch @@ -1,5 +1,5 @@ -diff --git a/src/docker.rs b/src/docker.rs -index 1525b87..5c9cd54 100644 +diff --git a/src/docker.rs b/src/docker.rs +index 6ea745d..15fef81 100644 --- a/src/docker.rs +++ b/src/docker.rs @@ -62,7 +62,7 @@ pub fn register(target: &Target, verbose: bool) -> Result<()> { @@ -12,8 +12,8 @@ index 1525b87..5c9cd54 100644 .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(&["-v", &format!("{}:/rust:Z,ro", sysroot.display())]) + .args(&["-v", &format!("{}:/target:Z", target_dir.display())]) .args(&["-w", "/project"]) - .args(&["-it", &image(toml, target)?]) + .args(&["-i", &image(toml, target)?]) |