cosmetic: flush stdout and stderr before printing summary

Change-Id: I9c7eec29c200ec90e9908457a07b79122014a0e9
1 file changed