only make stdin/stdout unbuffered in GHCi, not runghc or ghc -e.
[ghc-hetmet.git] / rts / gmp / stamp-h.in
1 timestamp