diff Makefile @ 25363:3ff4b07412ad

ui: flush stdout before writing traceback to stderr Sometimes a traceback message is paired with ui.debug(). This patch makes sure that these messages are displayed in the right order.
author Yuya Nishihara <yuya@tcha.org>
date Sun, 31 May 2015 14:40:28 +0900
parents 4c4d0012db4f
children 3375ae1e7d0b
line wrap: on
line diff