mirror of
https://github.com/servo/servo.git
synced 2025-08-05 05:30:08 +01:00
Fix build on Windows
This commit is contained in:
parent
5a7ca34d75
commit
5d24f7c6b7
2 changed files with 7 additions and 0 deletions
|
@ -8,6 +8,7 @@
|
||||||
#![feature(plugin)]
|
#![feature(plugin)]
|
||||||
#![plugin(plugins)]
|
#![plugin(plugins)]
|
||||||
|
|
||||||
|
#[cfg(not(target_os = "windows"))]
|
||||||
extern crate alloc_jemalloc;
|
extern crate alloc_jemalloc;
|
||||||
extern crate hbs_pow;
|
extern crate hbs_pow;
|
||||||
extern crate ipc_channel;
|
extern crate ipc_channel;
|
||||||
|
|
|
@ -463,6 +463,7 @@ mod system_reporter {
|
||||||
newp: *mut c_void, newlen: size_t) -> c_int;
|
newp: *mut c_void, newlen: size_t) -> c_int;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#[cfg(not(target_os = "windows"))]
|
||||||
fn jemalloc_stat(value_name: &str) -> Option<usize> {
|
fn jemalloc_stat(value_name: &str) -> Option<usize> {
|
||||||
// Before we request the measurement of interest, we first send an "epoch"
|
// Before we request the measurement of interest, we first send an "epoch"
|
||||||
// request. Without that jemalloc gives cached statistics(!) which can be
|
// request. Without that jemalloc gives cached statistics(!) which can be
|
||||||
|
@ -498,6 +499,11 @@ mod system_reporter {
|
||||||
Some(value as usize)
|
Some(value as usize)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#[cfg(target_os = "windows")]
|
||||||
|
fn jemalloc_stat(value_name: &str) -> Option<usize> {
|
||||||
|
None
|
||||||
|
}
|
||||||
|
|
||||||
// Like std::macros::try!, but for Option<>.
|
// Like std::macros::try!, but for Option<>.
|
||||||
macro_rules! option_try(
|
macro_rules! option_try(
|
||||||
($e:expr) => (match $e { Some(e) => e, None => return None })
|
($e:expr) => (match $e { Some(e) => e, None => return None })
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue