diff options
| author | bjorn3 <17426603+bjorn3@users.noreply.github.com> | 2023-12-31 12:39:20 +0000 |
|---|---|---|
| committer | bjorn3 <17426603+bjorn3@users.noreply.github.com> | 2023-12-31 12:39:20 +0000 |
| commit | c55aaa55a71463765b1887945dbb698410806ce5 (patch) | |
| tree | ab7482add7e09f8a5485d5272ee4970c520b78b9 /scripts/setup_rust_fork.sh | |
| parent | 02183f79e402cc94047510e8834d3ac742eeec07 (diff) | |
| download | rust-c55aaa55a71463765b1887945dbb698410806ce5.tar.gz rust-c55aaa55a71463765b1887945dbb698410806ce5.zip | |
Remove no longer needed config option from setup_rust_fork.sh
Diffstat (limited to 'scripts/setup_rust_fork.sh')
| -rw-r--r-- | scripts/setup_rust_fork.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/scripts/setup_rust_fork.sh b/scripts/setup_rust_fork.sh index 8526a4f7365..684a5d07293 100644 --- a/scripts/setup_rust_fork.sh +++ b/scripts/setup_rust_fork.sh @@ -25,9 +25,6 @@ git -c user.name=Dummy -c user.email=dummy@example.com -c commit.gpgSign=false \ cat > config.toml <<EOF change-id = 999999 -[llvm] -ninja = false - [build] rustc = "$(pwd)/../dist/bin/rustc-clif" cargo = "$(rustup which cargo)" |