summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Compile.hs
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2010-10-25 11:31:16 +0000
committerkrasimir <krasimir@chalmers.se>2010-10-25 11:31:16 +0000
commit2d3340b48a18a633b5a4eea8a9465fc3c954687b (patch)
tree1a084ba2bf06986b0a7a362714ef5d0d2f619300 /src/compiler/GF/Compile.hs
parent822a70cf7a5971cc9d60239f98243bc1a07e12a5 (diff)
During the compilation, the final message "OK" should be displayed only if we are not in silent mode. This was changed incidentally on the way.
Diffstat (limited to 'src/compiler/GF/Compile.hs')
-rw-r--r--src/compiler/GF/Compile.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/GF/Compile.hs b/src/compiler/GF/Compile.hs
index 23c33cb90..083d4eb35 100644
--- a/src/compiler/GF/Compile.hs
+++ b/src/compiler/GF/Compile.hs
@@ -58,7 +58,7 @@ link opts cnc gr = do
putPointE Normal opts "linking ... " $ do
pgf <- ioeIO (mkCanon2pgf opts cnc gr)
probs <- ioeIO (maybe (return . defaultProbabilities) readProbabilitiesFromFile (flag optProbsFile opts) pgf)
- ioeIO $ putStrLn "OK"
+ ioeIO $ when (verbAtLeast opts Normal) $ putStrFlush "OK"
return $ setProbabilities probs
$ if flag optOptimizePGF opts then optimizePGF pgf else pgf