1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/boost/boost.patch Thu Aug 09 18:52:06 2012 +0200 1.3 @@ -0,0 +1,44 @@ 1.4 +Index: boost/test/impl/execution_monitor.ipp 1.5 +--- boost/test/impl/execution_monitor.ipp.orig 2009-11-28 10:19:18.000000000 +0100 1.6 ++++ boost/test/impl/execution_monitor.ipp 2011-06-08 21:40:48.000000000 +0200 1.7 +@@ -353,6 +353,7 @@ 1.8 + break; 1.9 + } 1.10 + 1.11 ++#if 0 1.12 + switch( m_sig_info->si_signo ) { 1.13 + case SIGILL: 1.14 + switch( m_sig_info->si_code ) { 1.15 +@@ -508,11 +509,13 @@ 1.16 + case SIGCHLD: 1.17 + switch( m_sig_info->si_code ) { 1.18 + #ifndef BOOST_TEST_LIMITED_SIGNAL_DETAILS 1.19 ++#ifdef CLD_EXITED 1.20 + case CLD_EXITED: 1.21 + report_error( execution_exception::system_error, 1.22 + "child has exited; pid: %d; uid: %d; exit value: %d", 1.23 + (int)m_sig_info->si_pid, (int)m_sig_info->si_uid, (int)m_sig_info->si_status ); 1.24 + break; 1.25 ++#endif 1.26 + case CLD_KILLED: 1.27 + report_error( execution_exception::system_error, 1.28 + "child was killed; pid: %d; uid: %d; exit value: %d", 1.29 +@@ -608,6 +611,7 @@ 1.30 + default: 1.31 + report_error( execution_exception::system_error, "unrecognized signal" ); 1.32 + } 1.33 ++#endif 1.34 + } 1.35 + 1.36 + //____________________________________________________________________________// 1.37 +@@ -817,8 +821,10 @@ 1.38 + { 1.39 + return info->si_signo == SIGCHLD 1.40 + #ifndef BOOST_TEST_LIMITED_SIGNAL_DETAILS 1.41 ++#ifdef CLD_EXITED 1.42 + && info->si_code == CLD_EXITED 1.43 + #endif 1.44 ++#endif 1.45 + #ifdef BOOST_TEST_IGNORE_NON_ZERO_CHILD_CODE 1.46 + ; 1.47 + #else