We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 12d7b1b + a2b568e commit afe7d11Copy full SHA for afe7d11
Makefile
@@ -115,7 +115,7 @@ ifneq ($(COVERAGE),)
115
# Remove artifacts from previous instrumentations, so that stale units that
116
# are not overriden by new ones don't get in our way.
117
rm -rf .obj/*/gnatcov-instr
118
- $(COVERAGE_INSTR) -XVERSION=$(VERSION) XBUILD_DATE=$(BUILD_DATE) \
+ $(COVERAGE_INSTR) -XVERSION=$(VERSION) -XBUILD_DATE=$(BUILD_DATE) \
119
-Pgnat/lsp_server.gpr --projects lsp_server --projects lsp
120
$(COVERAGE_INSTR) -Pgnat/tester.gpr --projects lsp
121
$(COVERAGE_INSTR) -Pgnat/codec_test.gpr --projects lsp
0 commit comments