Merge: lib/std/file: do not flush on each write
authorJean Privat <jean@pryen.org>
Sat, 28 Mar 2015 01:29:12 +0000 (08:29 +0700)
committerJean Privat <jean@pryen.org>
Sat, 28 Mar 2015 01:29:12 +0000 (08:29 +0700)
commit4860c1e2ba88b281a1ea8de89968598da467d93d
treeb023ba44437a6ce7ee65c121eecd7a7e188a8900
parented14dc631e41db51139469303ce3e7423c91c8a7
parent0b35cd3bbfaa66225f009003924d2e889e90f384
Merge: lib/std/file: do not flush on each write

Flushing for each small element of an output made things too slow.

real (not user) time for nitc/nitc/nitc:
before: 0m7.373s
after: 0m5.901s (-20%)

Pull-Request: #1216
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>