miri build script: use incremental builds

diff --git a/miri b/miri
index 47ff5024fc63356b44da641c12aadfe4c6855771..0cda9e80926e181ada41e2eccad8fd95fa6fdf10 100755 (executable)
--- a/miri
+++ b/miri
@@ -49,6 +49,7 @@ fi
 # We enable debug-assertions to get tracing.
 # We enable line-only debuginfo for backtraces.
 export RUSTFLAGS="-C link-args=-Wl,-rpath,$LIBDIR -C debug-assertions -C debuginfo=1 $RUSTC_EXTRA_FLAGS"
+export CARGO_INCREMENTAL=1
 
 ## Helper functions