tree 089048ac29d73f4984d13133ab5de7099b04d27b
parent b10f0e5b9a9ba6d8e9a27b3a81d2fc1d65d9810d
author Sebastian Schuberth <sschuberth@gmail.com> 1531475230 +0200
committer Sebastian Schuberth <sschuberth@gmail.com> 1531491830 +0200

Flush stderr on Windows

While on Linux stderr is unbuffered, it is buffered on Windows. Always
flush stderr on Windows to ensure any error messages appear in the right
order to ease diagnosing.

Change-Id: I37300e384ecd3a51a321a48818f0114d6f3357a0