From 65d3cacd7c0574b6c133616664c4cf7db34cfdcb Mon Sep 17 00:00:00 2001
From: Frans de Jonge <fransdejonge@gmail.com>
Date: Sat, 18 Oct 2014 15:18:01 +0200
Subject: [PATCH] Flush stdio to prevent buffering multiple debugging messages
 when redirecting output to file.

---
 frontend/dbg.lua | 1 +
 1 file changed, 1 insertion(+)

diff --git a/frontend/dbg.lua b/frontend/dbg.lua
index 84ec9f970..d06d2d5c0 100644
--- a/frontend/dbg.lua
+++ b/frontend/dbg.lua
@@ -21,6 +21,7 @@ local function LvDEBUG(lv, ...)
         android.LOGI("#"..line)
     else
         print("#"..line)
+        io.flush()
     end
 end