fix profiling on Win32
authorSimon Marlow <simonmar@microsoft.com>
Thu, 30 Mar 2006 13:41:58 +0000 (13:41 +0000)
committerSimon Marlow <simonmar@microsoft.com>
Thu, 30 Mar 2006 13:41:58 +0000 (13:41 +0000)
commit71d6db2260d3d5c3395818cd18564193845555e6
treea788aaa12b84d61268d99b311e0d691de5a93470
parentacd07df5e2960d02d91717eedbeb681224024216
fix profiling on Win32
The recent patch to free memory in hs_exit() on Win32 unfortunately broke
profiling, because it freed the memory slightly too early.
ghc/configure.ac
ghc/rts/RtsStartup.c
ghc/rts/Storage.c