diff options
| author | Simon Sapin <simon.sapin@exyr.org> | 2018-04-15 19:17:00 +0200 |
|---|---|---|
| committer | Simon Sapin <simon.sapin@exyr.org> | 2018-04-16 08:56:08 +0200 |
| commit | 7dbc524207059cec07761d6d71153432a3b749a7 (patch) | |
| tree | b74ae8bb0e827de811570ea8d120951d18eb98bd /components/script/dom/webglbuffer.rs | |
| parent | 1fe0f32059270e2d3e42b7c7184c2adf56f3f872 (diff) | |
| download | servo-7dbc524207059cec07761d6d71153432a3b749a7.tar.gz servo-7dbc524207059cec07761d6d71153432a3b749a7.zip | |
Fork the jemallocator crate, fix for nightly-2018-04-15
CC https://github.com/alexcrichton/jemallocator/pull/40,
https://github.com/rust-lang/rust/pull/49669
The new version of jemallocator requires a more recent jemalloc
https://github.com/alexcrichton/jemallocator/pull/34
which doesn’t build on our current Android toolchain
https://github.com/jemalloc/jemalloc/issues/1175.
To avoid blocking on figuring that out, duplicate ~70 lines
from jemallocator and use the older jemalloc-sys directly.
Diffstat (limited to 'components/script/dom/webglbuffer.rs')
0 files changed, 0 insertions, 0 deletions