some fixes

2020-12-14 13:03:47 +01:00
parent 12d5db0ec0
commit bdc506a54c
25 changed files with 19 additions and 19 deletions
--- a/bsp_hosted/boardconfig/gcov.h
+++ b/bsp_hosted/boardconfig/gcov.h
@ -0,0 +1,14 @@
+#ifndef LINUX_GCOV_H_
+#define LINUX_GCOV_H_
+#include <fsfw/serviceinterface/ServiceInterfaceStream.h>
+
+#ifdef GCOV
+extern "C" void __gcov_flush();
+#else
+void __gcov_flush() {
+	sif::info << "GCC GCOV: Please supply GCOV=1 in Makefile if "
+			"coverage information is desired.\n" << std::flush;
+}
+#endif
+
+#endif /* LINUX_GCOV_H_ */