diff options
Diffstat (limited to 'scripts/main.mk')
-rw-r--r-- | scripts/main.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/main.mk b/scripts/main.mk index bc7506db5c..bb18411d56 100644 --- a/scripts/main.mk +++ b/scripts/main.mk @@ -163,4 +163,4 @@ test-%: Makefile/test $(GDB) $(PLATFORM_OUTPUT)/$(BUILDTYPE)/test --gtest_catch_exceptions=0 --gtest_filter=$* check: Makefile/test - ./scripts/collect-coverage.sh + ./scripts/collect-coverage.sh $(PLATFORM_OUTPUT)/$(BUILDTYPE) |