add little script to build libstd

That's easier to use than having to `cd xargo`
This commit is contained in:
Ralf Jung 2017-07-11 10:25:05 -07:00
parent 9a9666e2a6
commit 3e7f69aae2
2 changed files with 4 additions and 3 deletions

View File

@ -12,9 +12,7 @@ before_script:
script:
- |
# get ourselves a MIR-ful libstd
cd xargo &&
RUSTFLAGS='-Zalways-encode-mir' xargo build &&
cd ..
xargo/build.sh
- |
# Test plain miri
cargo build &&

3
xargo/build.sh Executable file
View File

@ -0,0 +1,3 @@
#!/bin/bash
cd "$(readlink -e "$(dirname "$0")")"
RUSTFLAGS='-Zalways-encode-mir' xargo build