diff options
Diffstat (limited to 'src/libstd/rt')
| -rw-r--r-- | src/libstd/rt/util.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/libstd/rt/util.rs b/src/libstd/rt/util.rs index 39b9de90f34..6153170ecaf 100644 --- a/src/libstd/rt/util.rs +++ b/src/libstd/rt/util.rs @@ -19,4 +19,8 @@ pub fn num_cpus() -> uint { extern { fn rust_get_num_cpus() -> libc::uintptr_t; } +} + +pub fn abort() -> ! { + unsafe { libc::abort(); } } \ No newline at end of file |