make run-test runnable from other directories

This commit is contained in:
Ralf Jung 2019-04-22 11:11:06 +02:00
parent 8cb0b23c08
commit b7314369e2
2 changed files with 4 additions and 1 deletions

View file

@ -61,7 +61,10 @@ def test_cargo_miri_test():
"test.stdout.ref2", "test.stderr.ref"
)
os.chdir(os.path.dirname(os.path.realpath(__file__)))
test_cargo_miri_run()
test_cargo_miri_test()
print("TEST SUCCESSFUL!")
sys.exit(0)

View file

@ -24,7 +24,7 @@ echo
# Test
function run_tests {
cargo test --release --all-features
(cd test-cargo-miri && ./run-test.py)
test-cargo-miri/run-test.py
}
echo "Test host architecture"