2020-09-30 20:52:51 +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 15:58:27 +01:00
|
|
|
sif::info << "GCC GCOV: Please supply GCOV=1 in Makefile if "
|
|
|
|
|
"coverage information is desired.\n"
|
|
|
|
|
<< std::flush;
|
2020-09-30 20:52:51 +02:00
|
|
|
}
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#endif /* LINUX_GCOV_H_ */
|
