Merge branch 'mr/cov' into 'master'

Add missing fix for coverage support

See merge request eng/ide/gnatstudio!857

Author: AnthonyLeonardoGracio

Makefile.in

@@ -15,12 +15,14 @@ bindir          = $(prefix)/bin
 sharedir        = $(prefix)/share
 examplesdir     = $(prefix)/share/examples/gnatstudio
 
+BUILD?=Debug
+
 SYS := $(shell gcc -dumpmachine)
 
 all default:
-	$(MAKE) -C gnatstudio default
-	$(MAKE) -C cli default
-	$(MAKE) -C testsuite default
+	$(MAKE) -C gnatstudio BUILD=$(BUILD) $@
+	$(MAKE) -C cli BUILD=$(BUILD) $@
+	$(MAKE) -C testsuite BUILD=$(BUILD) $@
 
 codepeer:
 	$(MAKE) -C gnatstudio scil

gnatstudio/Makefile

@@ -16,7 +16,7 @@ else
 endif
 
 GPRBUILD=gprbuild
-ifeq ($(BUILD),cov)
+ifeq ($(BUILD),Coverage)
   GPRBUILD_FLAGS=-j0 -m2 -p --src-subdirs=gnatcov-instr --implicit-with=gnatcov_rts.gpr
 else
   GPRBUILD_FLAGS=-j0