fix cargo miri flag passing

This commit is contained in:
Ralf Jung
2020-09-21 12:22:56 +02:00
committed by Henri Sivonen
parent b5a04264bf
commit a37c47a54a
+1 -1
View File
@@ -8,7 +8,7 @@ rustup component add miri
# Run tests.
# Stacked Borrows is disabled as it costs too much RAM (due to our large tables).
cargo miri test -- -Zmiri-disable-stacked-borrows
MIRIFLAGS="-Zmiri-disable-stacked-borrows" cargo miri test
# Restore old state in case Travis uses this cache for other jobs.
rustup default nightly