diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-08-24 17:58:56 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-11 16:50:09 +0100 |
| commit | b13979b4bca9595c72454f5304875c8a9478ecd5 (patch) | |
| tree | efdd5cb5df0b5c7c8e0e634496755467337bea44 /Documentation | |
| parent | 90859bb4e3f9ad11f76ad42e3dce84043bdc3176 (diff) | |
| download | sparse-dev-b13979b4bca9595c72454f5304875c8a9478ecd5.tar.gz | |
flush stdout when warning
This is much needed for tools like test-linearize
which output on stderr & stdout and without this patch
error messages and normal output are out-of-sync.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions