diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2016-10-31 22:51:37 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2016-10-31 22:51:37 -0700 |
| commit | 0c7ef7145e687f1e7709f706365fd193ab33ef27 (patch) | |
| tree | 343a761ed961400899dc07cd79a57bac8524c67e /Makefile | |
| parent | aed4c55e415754df64073565e3b9c4979d033370 (diff) | |
| download | txr-0c7ef7145e687f1e7709f706365fd193ab33ef27.tar.gz txr-0c7ef7145e687f1e7709f706365fd193ab33ef27.tar.bz2 txr-0c7ef7145e687f1e7709f706365fd193ab33ef27.zip | |
Flush *stdout* upon unhandled exception.
* unwind.c (uw_unwind_to_exit_point): Prior to printing
diagnostics related to an unhandled exception to std_error,
flush std_output. This clarifies the output in situations when
both std_error and std_output go to the same destination, and
the exception occurred while producing output on std_output.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions