| 3741 | } |
| 3742 | |
| 3743 | void setProfilingEnabled(int enabled) { |
| 3744 | #ifdef __linux__ |
| 3745 | if (profileThread && enabled && !profilingEnabled && profileRequested) { |
| 3746 | profilingEnabled = true; |
| 3747 | profileRequested = false; |
| 3748 | pthread_kill(pthread_self(), SIGPROF); |
| 3749 | } else { |
| 3750 | profilingEnabled = enabled; |
| 3751 | } |
| 3752 | #else |
| 3753 | // No profiling for other platforms! |
| 3754 | #endif |
| 3755 | } |
| 3756 | |
| 3757 | void* checkThread(void* arg) { |
| 3758 | #ifdef __linux__ |
no outgoing calls
no test coverage detected