diff options
author | Adam Joseph <adam@westernsemico.com> | 2022-10-27T22·06-0700 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-10-27T23·23+0000 |
commit | 2502c0abefdf4c9ff0f2158cdd9d5e3f94d12ce6 (patch) | |
tree | ebe919f9c8cbbe991cb1696afb8eda14429b5202 /third_party/gerrit_plugins | |
parent | 4d83fd84b452b3c3245f3098c4eefe62b8e163e4 (diff) |
fix(tvix/eval): correct wasm32-unknown-unknown to wasm32-none r/5215
Rustc uses wasm32-unknown-unknown, which is rejected by config.sub, for wasm-in-the-browser environments. Rustc should be using wasm32-unknown-none, which config.sub accepts. Hopefully the rustc people will change their triple before stabilising this triple. In the meantime, we fix it here in order to unbreak tvixbolt. https://doc.rust-lang.org/beta/nightly-rustc/rustc_target/spec/wasm32_unknown_unknown/index.html Signed-off-by: Adam Joseph <adam@westernsemico.com> Change-Id: I941fd8d6f3db4e249901772fd79321ad88cd9cc6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7107 Reviewed-by: tazjin <tazjin@tvl.su> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to 'third_party/gerrit_plugins')
0 files changed, 0 insertions, 0 deletions