[−][src]Constant antic::HAVE_PTHREAD

pub const HAVE_PTHREAD: u32 = 1;