ext_output: flush stdout after printing output

Sam Beran

2018-07-10 5fc1e9a918bfb9229eec90d459dbfb6778ae6906

 .circleci/config.yml

@@ -12,3 +12,5 @@
      - run: make LIBSO=1 GPU=0 CUDNN=0 OPENCV=1 -j 8
      - run: make clean
      - run: make LIBSO=1 GPU=1 CUDNN=1 OPENCV=1 -j 8
      - run: make clean
      - run: make LIBSO=1 GPU=1 CUDNN=1 OPENCV=1 CUDNN_HALF=1 -j 8