2020-09-16 16:22:36 +02:00
|
|
|
#ifndef LINUX_GCOV_H_
|
|
|
|
|
#define LINUX_GCOV_H_
|
|
|
|
|
#include <fsfw/serviceinterface/ServiceInterfaceStream.h>
|
|
|
|
|
|
|
|
|
|
#ifdef GCOV
|
|
|
|
|
extern "C" void __gcov_flush();
|
|
|
|
|
#else
|
|
|
|
|
void __gcov_flush() {
|
2022-01-17 13:48:55 +01:00
|
|
|
sif::info << "GCC GCOV: Please supply GCOV=1 in Makefile if "
|
|
|
|
|
"coverage information is desired.\n"
|
|
|
|
|
<< std::flush;
|
2020-09-16 16:22:36 +02:00
|
|
|
}
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#endif /* LINUX_GCOV_H_ */
|
