зеркало из https://github.com/mozilla/gecko-dev.git
Bug 1556641 - Re-point cranelift to current HEAD. r=bbouvier
We need this to be able to land the second half of the jump tables patch, since cranelift APIs have changed. Differential Revision: https://phabricator.services.mozilla.com/D33598 --HG-- extra : rebase_source : 00ccd0ffe14b463670912c40e81b258d45421ca3
This commit is contained in:
Родитель
3aaa8e7c89
Коммит
b334c28df6
|
@ -24,7 +24,7 @@ replace-with = "vendored-sources"
|
|||
|
||||
[source."https://github.com/CraneStation/Cranelift"]
|
||||
git = "https://github.com/CraneStation/Cranelift"
|
||||
rev = "cc216b46b35a797d03c0f3e8b16a2096f1c6db61"
|
||||
rev = "475aa632fea5360c6f8c4cc1f26e3ee0369385ef"
|
||||
replace-with = "vendored-sources"
|
||||
|
||||
[source.vendored-sources]
|
||||
|
|
|
@ -64,8 +64,8 @@ packed_simd = { git = "https://github.com/hsivonen/packed_simd", branch = "rust_
|
|||
|
||||
[patch.crates-io.cranelift-codegen]
|
||||
git = "https://github.com/CraneStation/Cranelift"
|
||||
rev = "cc216b46b35a797d03c0f3e8b16a2096f1c6db61"
|
||||
rev = "475aa632fea5360c6f8c4cc1f26e3ee0369385ef"
|
||||
|
||||
[patch.crates-io.cranelift-wasm]
|
||||
git = "https://github.com/CraneStation/Cranelift"
|
||||
rev = "cc216b46b35a797d03c0f3e8b16a2096f1c6db61"
|
||||
rev = "475aa632fea5360c6f8c4cc1f26e3ee0369385ef"
|
||||
|
|
Загрузка…
Ссылка в новой задаче