From f7516883968322aa03e41dfb8cdd80719ea5ea13 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sat, 28 Mar 2020 10:29:05 +0100 Subject: [PATCH] miri build script: use incremental builds --- miri | 1 + 1 file changed, 1 insertion(+) diff --git a/miri b/miri index 47ff5024fc63..0cda9e80926e 100755 --- 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