diff options
| author | John Hodge <tpg@ucc.asn.au> | 2019-10-13 07:44:29 +0800 |
|---|---|---|
| committer | John Hodge <tpg@ucc.asn.au> | 2019-10-13 07:44:29 +0800 |
| commit | 784a1e10cf55662ebf1e85834044ac34726f92d9 (patch) | |
| tree | 381011a421730ec21e14c0a48ef0026007f61823 | |
| parent | 64d4053b7cc48d80c6223af25a9b7d78bfe335f2 (diff) | |
| download | mrust-784a1e10cf55662ebf1e85834044ac34726f92d9.tar.gz | |
test_smiri - Tweaks from use for debugging
| -rwxr-xr-x | test_smiri.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/test_smiri.sh b/test_smiri.sh index a275420a..88aae504 100755 --- a/test_smiri.sh +++ b/test_smiri.sh @@ -1,9 +1,10 @@ #!/bin/sh set -e cd $(dirname $0) -make -f minicargo.mk MMIR=1 LIBS -make -C tools/standalone_miri +make all +make -C tools/standalone_miri || exit 1 +make -f minicargo.mk MMIR=1 LIBS V= || exit 1 echo "--- mrustc -o output-mmir/hello" -./bin/mrustc rustc-1.19.0-src/src/test/run-pass/hello.rs -O -C codegen-type=monomir -o output-mmir/hello -L output-mmir/ > output-mmir/hello_dbg.txt +time ./bin/mrustc rustc-1.19.0-src/src/test/run-pass/hello.rs -O -C codegen-type=monomir -o output-mmir/hello -L output-mmir/ > output-mmir/hello_dbg.txt || exit 1 echo "--- standalone_miri output-mmir/hello.mir" time ./tools/bin/standalone_miri output-mmir/hello.mir --logfile smiri_hello.log |