minor fix

verus-lang · Aug 20, 2024 · 4878b32 · 4878b32
1 parent a3bcf3d
commit 4878b32
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/setup/perf-build-verus-in-container.sh b/setup/perf-build-verus-in-container.sh
@@ -4,4 +4,5 @@ source "$HOME/.cargo/env"
 cd verus/source
 
 . ../tools/activate
+./tools/get-z3.sh
 vargo build --release --features singular