minor fix

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