Override vargo target dir

verus-lang · Feb 6, 2025 · 8e7820d · 8e7820d
1 parent b6df2c5
commit 8e7820d
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/tools/vargo/.cargo/config.toml b/tools/vargo/.cargo/config.toml
@@ -0,0 +1,5 @@
+# Set target directory in case it was overridden by the environment
+# https://doc.rust-lang.org/cargo/reference/config.html
+
+[build]
+target-dir = "target"