From d0ffed6fd5bfe79e0f8f136ee22a5beacb8e9c6f Mon Sep 17 00:00:00 2001
From: Artyom Pavlov <newpavlov@gmail.com>
Date: Fri, 20 Sep 2019 06:15:34 +0000
Subject: [PATCH] vxworks

---
 src/vxworks/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/vxworks/mod.rs b/src/vxworks/mod.rs
index a25b1d59..0325c540 100755
--- a/src/vxworks/mod.rs
+++ b/src/vxworks/mod.rs
@@ -1318,7 +1318,7 @@ extern "C" {
     pub fn flock(fd: ::c_int, operation: ::c_int) -> ::c_int;
 
     pub fn gettimeofday(tp: *mut ::timeval, tz: *mut ::c_void) -> ::c_int;
-    pub fn pthread_exit(value: *mut ::c_void);
+    pub fn pthread_exit(value: *mut ::c_void) -> !;
     pub fn pthread_attr_setdetachstate(
         attr: *mut ::pthread_attr_t,
         state: ::c_int,
-- 
GitLab