ext_output: flush stdout after printing output

Sam Beran

2018-07-10 5fc1e9a918bfb9229eec90d459dbfb6778ae6906

 src/gettimeofday.c

@@ -1,5 +1,5 @@
#include "gettimeofday.h"
 

int gettimeofday(struct timeval *tv, struct timezone *tz)
{
  FILETIME ft;