summaryrefslogtreecommitdiff
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
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.
-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