[#407] Alternative coverage flags

.github/workflows/build.yml

@@ -51,10 +51,10 @@ jobs:
           run: apt-get update
         - name: install dependencies
           run: apt-get install -y gcc lcov
-        - name: prep
-          run: make prep
-        - name: make
-          run: make
+        - name: config
+          run: make config
+        - name: build-test
+          run: make build-test
         - name: sample
           run: make coverage-sample
         - name: Generate Coverage Report

Makefile

@@ -32,9 +32,11 @@ ifneq ($(BUILDTYPE),)
 PREP_OPTS += -DCMAKE_BUILD_TYPE=$(BUILDTYPE)
 endif
 
+PREP_OPTS += $(CFLAGS)
+
 # The "LOCALTGTS" defines the top-level targets that are implemented in this makefile
 # Any other target may also be given, in that case it will simply be passed through.
-LOCALTGTS := all checkout clean clean-fsw clean-sim clean-gsw config debug fsw gsw launch log prep real-clean sim stop stop-gsw
+LOCALTGTS := all checkout clean clean-fsw clean-sim clean-gsw config coverage-sample debug fsw gsw launch log prep real-clean sim stop stop-gsw
 OTHERTGTS := $(filter-out $(LOCALTGTS),$(MAKECMDGOALS))
 
 # As this makefile does not build any real files, treat everything as a PHONY target