diff options
| author | krasimir <krasimir@chalmers.se> | 2008-05-29 07:34:29 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2008-05-29 07:34:29 +0000 |
| commit | 152c5698ce52ba0f496036a106650a6d6bf3a1d3 (patch) | |
| tree | b55fd76a26ae7c60883d975a33c1a22c16d14487 | |
| parent | dd8c3e91a0087589c8ed21ef3e70902400afa317 (diff) | |
if optShowCPUTime is off just print \n in putPointE
| -rw-r--r-- | src-3.0/GF/Infra/UseIO.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src-3.0/GF/Infra/UseIO.hs b/src-3.0/GF/Infra/UseIO.hs index f7563ed2c..079958b05 100644 --- a/src-3.0/GF/Infra/UseIO.hs +++ b/src-3.0/GF/Infra/UseIO.hs @@ -249,7 +249,10 @@ putPointE v opts msg act = do a <- act >>= ioeIO . evaluate t2 <- ioeIO $ getCPUTime - when (flag optShowCPUTime opts) $ ioeIO $ putStrLnFlush (' ' : show ((t2 - t1) `div` 1000000000) ++ " msec") + ioeIO $ putStrLnFlush + (if flag optShowCPUTime opts + then (' ' : show ((t2 - t1) `div` 1000000000) ++ " msec") + else "") return a |