libgcov: report about a different timestamp (PR gcov-profile/85759).
commit5522d9343b70260bc6a3354f436cb781447b371a
authormarxin <marxin@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 29 May 2018 12:11:21 +0000 (29 12:11 +0000)
committermarxin <marxin@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 29 May 2018 12:11:21 +0000 (29 12:11 +0000)
treedae6fb571218c28f4bd4fc966f8b044443aebbc7
parent87ca3ab5f0ff1d547cd2526f9224a07183995910
libgcov: report about a different timestamp (PR gcov-profile/85759).

2018-05-29  Martin Liska  <mliska@suse.cz>

        PR gcov-profile/85759
* doc/gcov.texi: Document GCOV_ERROR_FILE and GCOV_EXIT_AT_ERROR
env variables.
2018-05-29  Martin Liska  <mliska@suse.cz>

        PR gcov-profile/85759
* libgcov-driver-system.c (gcov_error): Introduce usage of
        GCOV_EXIT_AT_ERROR env. variable.
* libgcov-driver.c (merge_one_data): Print error that we
        overwrite a gcov file with a different timestamp.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@260895 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/doc/gcov.texi
libgcc/ChangeLog
libgcc/libgcov-driver-system.c
libgcc/libgcov-driver.c