diff options
Diffstat (limited to 'rts/AwaitEvent.h')
| -rw-r--r-- | rts/AwaitEvent.h | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/rts/AwaitEvent.h b/rts/AwaitEvent.h deleted file mode 100644 index 92848addf2..0000000000 --- a/rts/AwaitEvent.h +++ /dev/null @@ -1,21 +0,0 @@ -/* ----------------------------------------------------------------------------- - * - * (c) The GHC Team 1998-2005 - * - * The awaitEvent() interface, for the non-threaded RTS - * - * -------------------------------------------------------------------------*/ - -#pragma once - -#if !defined(THREADED_RTS) -/* awaitEvent(bool wait) - * - * Checks for blocked threads that need to be woken. - * - * Called from STG : NO - * Locks assumed : sched_mutex - */ -RTS_PRIVATE void awaitEvent(bool wait); /* In posix/Select.c or - * win32/AwaitEvent.c */ -#endif |