diff options
| -rwxr-xr-x | xargo/build.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/xargo/build.sh b/xargo/build.sh index 15a7c770910..b842c04ae09 100755 --- a/xargo/build.sh +++ b/xargo/build.sh @@ -1,3 +1,4 @@ #!/bin/sh cd "$(dirname "$0")" +sed 's/gcc = "0\.3\.50"/gcc = "=0\.3\.50"/' -i ~/.rustup/toolchains/*/lib/rustlib/src/rust/src/libstd/Cargo.toml RUSTFLAGS='-Zalways-encode-mir -Zmir-emit-validate=1' xargo build |