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 e6dff84 commit 8ce5fe5Copy full SHA for 8ce5fe5
Makefile
@@ -35,7 +35,7 @@ TESTER=$(ROOTDIR)/.obj/tester/tester-run$(EXE)
35
MOCHA_ALS_UPDATE=
36
37
GPRBUILD_EXTRA=
38
-GPRBUILD_FLAGS=-j0 $(GPRBUILD_EXTRA)
+GPRBUILD_FLAGS=-m -j0 $(GPRBUILD_EXTRA)
39
GPRBUILD=gprbuild $(GPRBUILD_FLAGS) -XSUPERPROJECT=
40
GPRCLEAN_EXTRA=
41
GPRCLEAN=gprclean -XSUPERPROJECT= $(GPRCLEAN_EXTRA)
0 commit comments