diff options
author | Paolo Capriotti <p.capriotti@gmail.com> | 2012-05-08 14:05:28 +0100 |
---|---|---|
committer | Paolo Capriotti <p.capriotti@gmail.com> | 2012-05-08 14:09:08 +0100 |
commit | 9fb12e142b80ce399285b41e8fad4f862bb6a776 (patch) | |
tree | 5363880cf94888a9c0bcc015df37213802b1fa87 /rts/RtsStartup.c | |
parent | c04619769d5a09325d9e7f28b1382f52df6051b4 (diff) | |
download | haskell-9fb12e142b80ce399285b41e8fad4f862bb6a776.tar.gz |
Enable FileLock for win32 (#4363)
Diffstat (limited to 'rts/RtsStartup.c')
-rw-r--r-- | rts/RtsStartup.c | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/rts/RtsStartup.c b/rts/RtsStartup.c index ed13915655..f5c29f4a70 100644 --- a/rts/RtsStartup.c +++ b/rts/RtsStartup.c @@ -35,6 +35,7 @@ #include "Profiling.h" #include "Timer.h" #include "Globals.h" +#include "FileLock.h" void exitLinker( void ); // there is no Linker.h file to include #if defined(RTS_GTK_FRONTPANEL) @@ -52,7 +53,6 @@ void exitLinker( void ); // there is no Linker.h file to include #if !defined(mingw32_HOST_OS) #include "posix/TTY.h" -#include "posix/FileLock.h" #endif #ifdef HAVE_UNISTD_H @@ -215,9 +215,7 @@ hs_init_ghc(int *argc, char **argv[], RtsConfig rts_config) initGlobalStore(); /* initialise file locking, if necessary */ -#if !defined(mingw32_HOST_OS) initFileLocking(); -#endif #if defined(DEBUG) /* initialise thread label table (tso->char*) */ @@ -376,9 +374,7 @@ hs_exit_(rtsBool wait_foreign) exitLinker(); /* free file locking tables, if necessary */ -#if !defined(mingw32_HOST_OS) freeFileLocking(); -#endif /* free the stable pointer table */ exitStablePtrTable(); |