lib/std/file: no not flush on each write
authorJean Privat <jean@pryen.org>
Mon, 23 Mar 2015 07:43:13 +0000 (14:43 +0700)
committerJean Privat <jean@pryen.org>
Mon, 23 Mar 2015 07:43:13 +0000 (14:43 +0700)
commite3419dd76e18f5b460290892d4143aab0b1982ef
tree5209489e04c76f3933b64b2386b6025499b220b8
parent2091a6f0d0f4fea6f1f8c2131d336d49547b55aa
lib/std/file: no 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%)

Signed-off-by: Jean Privat <jean@pryen.org>
lib/standard/file.nit