diff options
Diffstat (limited to 'includes')
| -rw-r--r-- | includes/RtsExternal.h | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/includes/RtsExternal.h b/includes/RtsExternal.h index 8e1a26acab..bf581b7a2b 100644 --- a/includes/RtsExternal.h +++ b/includes/RtsExternal.h @@ -73,10 +73,19 @@ extern void rts_ConsoleHandlerDone ( int ev ); extern int stg_sig_install (int, int, StgStablePtr *, void *); #endif -#if !defined(mingw32_HOST_OS) +#if defined(mingw32_HOST_OS) +extern StgInt console_handler; +#else extern StgInt *signal_handlers; #endif + +#if defined(mingw32_HOST_OS) +void *getIOManagerEvent (void); +StgWord32 readIOManagerEvent (void); +void sendIOManagerEvent (StgWord32 event); +#else extern void setIOManagerPipe (int fd); +#endif extern void* allocateExec(unsigned int len); |