build-pkg: flush stdout after echoing

pull/1055/head
Boris Nagaev 9 years ago
parent de45bde5b9
commit 32fd160246

@ -62,6 +62,7 @@ local TARGETS = {
local function echo(fmt, ...)
print(fmt:format(...))
io.stdout:flush()
end
local function log(fmt, ...)

Loading…
Cancel
Save