In ghc-inplace, flush stdout after giving debugging output
authorIan Lynagh <igloo@earth.li>
Fri, 24 Aug 2007 13:27:02 +0000 (13:27 +0000)
committerIan Lynagh <igloo@earth.li>
Fri, 24 Aug 2007 13:27:02 +0000 (13:27 +0000)
commit6fa35a00131040cf7849fabe3af5d28b3542fc79
tree9153e431e4a147b6ac3553ffbcd4429a2436a846
parentf4c9109d7f1deb6f79c2c141f69ec24b7022776b
In ghc-inplace, flush stdout after giving debugging output
compiler/ghc-inplace.c