From 26d48c9a378f20f817e779328affc6c2643a3505 Mon Sep 17 00:00:00 2001
From: bjorn3 <17426603+bjorn3@users.noreply.github.com>
Date: Mon, 28 Nov 2022 13:01:49 +0000
Subject: Rename the build/ directory to dist/

This will allow putting all temporary build artifacts in build/ in the
future, keeping all the build output artifacts in dist/
---
 scripts/setup_rust_fork.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'scripts/setup_rust_fork.sh')

diff --git a/scripts/setup_rust_fork.sh b/scripts/setup_rust_fork.sh
index 5a73cb0e2c2..6c64b7de7da 100644
--- a/scripts/setup_rust_fork.sh
+++ b/scripts/setup_rust_fork.sh
@@ -36,7 +36,7 @@ changelog-seen = 2
 ninja = false
 
 [build]
-rustc = "$(pwd)/../build/rustc-clif"
+rustc = "$(pwd)/../dist/rustc-clif"
 cargo = "$(rustup which cargo)"
 full-bootstrap = true
 local-rebuild = true
-- 
cgit 1.4.1-3-g733a5