From 8726886298e6b233d66c9ae1a211c13decf6a405 Mon Sep 17 00:00:00 2001 From: bjorn Date: Thu, 16 Oct 2008 10:12:57 +0000 Subject: A bit more verbosity when combining PGF files. Use putPointE when writing output files. --- src/GF/Infra/UseIO.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/GF') diff --git a/src/GF/Infra/UseIO.hs b/src/GF/Infra/UseIO.hs index 00b956708..0ca8d7456 100644 --- a/src/GF/Infra/UseIO.hs +++ b/src/GF/Infra/UseIO.hs @@ -26,6 +26,7 @@ import System.IO.Error import System.Environment import System.Exit import System.CPUTime +import Text.Printf import Control.Monad import Control.Exception(evaluate) import qualified Data.ByteString.Char8 as BS @@ -239,7 +240,8 @@ putPointE v opts msg act = do t2 <- ioeIO $ getCPUTime if flag optShowCPUTime opts - then putStrLnE (" " ++ show ((t2 - t1) `div` 1000000000) ++ " msec") + then do let msec = (t2 - t1) `div` 1000000000 + putStrLnE (printf " %5d msec" msec) else when (verbAtLeast opts v) $ putStrLnE "" return a -- cgit v1.2.3