[gcc/marxin/heads/gcov-remove-io-buffering] gcov: Use system IO buffering

[Martin Liska]

The branch 'marxin/heads/gcov-remove-io-buffering' was updated to point to:

 d3bb8f00cdd... gcov: Use system IO buffering

It previously pointed to:

 c611f2ab457... gcov: Use system IO buffering

Diff:

!!! WARNING: THE FOLLOWING COMMITS ARE NO LONGER ACCESSIBLE (LOST):
-------------------------------------------------------------------

  c611f2a... gcov: Use system IO buffering


Summary of changes (added commits):
-----------------------------------

  d3bb8f0... gcov: Use system IO buffering