src/os/bsd/vm/os_bsd.inline.hpp

Print this page 

        
@@ -272,6 +272,10 @@
 #else
   return Bsd::_clock_gettime != NULL;
 #endif
 }
 
+inline void os::exit(int num) {
+  ::exit(num);
+}
+
 #endif // OS_BSD_VM_OS_BSD_INLINE_HPP