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.
1 parent 91d4866 commit 86c7558Copy full SHA for 86c7558
Makefile
@@ -116,7 +116,7 @@ ifneq ($(COVERAGE),)
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) \
119
- -Pgnat/lsp_server.gpr --projects lsp_server --projects lsp
+ -Pgnat/lsp_server.gpr --projects lsp_server --projects lsp_3_17
120
$(COVERAGE_INSTR) -Pgnat/tester.gpr --projects lsp
121
$(COVERAGE_INSTR) -Pgnat/codec_test.gpr --projects lsp
122
endif
0 commit comments