Skip to content

Commit 2eb761e

Browse files
committed
Merge branch 'topic/gprbuild-m' into 'master'
Use gprbuild -m for builds See merge request eng/ide/ada_language_server!1416
2 parents e6dff84 + 8ce5fe5 commit 2eb761e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@ TESTER=$(ROOTDIR)/.obj/tester/tester-run$(EXE)
3535
MOCHA_ALS_UPDATE=
3636

3737
GPRBUILD_EXTRA=
38-
GPRBUILD_FLAGS=-j0 $(GPRBUILD_EXTRA)
38+
GPRBUILD_FLAGS=-m -j0 $(GPRBUILD_EXTRA)
3939
GPRBUILD=gprbuild $(GPRBUILD_FLAGS) -XSUPERPROJECT=
4040
GPRCLEAN_EXTRA=
4141
GPRCLEAN=gprclean -XSUPERPROJECT= $(GPRCLEAN_EXTRA)

0 commit comments

Comments
 (0)