build configuration for trenz te0720-1cfa

2022-03-17 14:28:32 +01:00
parent b0b2854d44
commit 9dc124004d
41 changed files with 557 additions and 29 deletions
--- a/bsp_te0720_1cfa/boardconfig/gcov.h
+++ b/bsp_te0720_1cfa/boardconfig/gcov.h
@ -0,0 +1,15 @@
+#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_ */