flush stdount for debug report

diff --git a/src/vkh_device.c b/src/vkh_device.c
index 6ebbaccca8b17f81e051a6d5d17d6cd23957c279..b5084d73276e2064c4b6b8023ea9d6425b6219b4 100644 (file)
--- a/src/vkh_device.c
+++ b/src/vkh_device.c
@@ -63,6 +63,7 @@ VKAPI_ATTR VkBool32 VKAPI_CALL messageCallback(
             printf ("%sMSG: %s\n",KBLU, pMsg);
             break;
     }
+    fflush(stdout);
     return VK_FALSE;
 }