hosted build working

2020-09-30 20:52:51 +02:00
parent 6712c42803
commit 09468f2a25
19 changed files with 673 additions and 7 deletions
--- a/hosted/boardconfig/gcov.h
+++ b/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_ */