--- a/hotspot/src/os/linux/vm/os_linux.inline.hpp	Wed Sep 10 07:06:37 2014 -0700
+++ b/hotspot/src/os/linux/vm/os_linux.inline.hpp	Wed Sep 10 09:52:41 2014 -0700
@@ -263,4 +263,8 @@
   return Linux::_clock_gettime != NULL;
 }
 
+inline void os::exit(int num) {
+  ::exit(num);
+}
+
 #endif // OS_LINUX_VM_OS_LINUX_INLINE_HPP