Skip to content

Commit 76fdc3a

Browse files
Merge branch 'topic/makefile_add_gprbuild_flags_env' into 'master'
Add GPRBUILD_FLAGS to mimic GNAT Studio Makefile See merge request eng/ide/ada_language_server!1132
2 parents 165a085 + e4b459a commit 76fdc3a

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

Makefile

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,8 @@ export ALS=$(ROOTDIR)/.obj/server/ada_language_server
1111
TESTER=$(ROOTDIR)/.obj/tester/tester-run
1212
CODEC_TEST=.obj/codec_test/codec_test
1313

14-
GPRBUILD=gprbuild -j0 -XSUPERPROJECT=
14+
GPRBUILD_FLAGS=-j0
15+
GPRBUILD=gprbuild $(GPRBUILD_FLAGS) -XSUPERPROJECT=
1516
GPRCLEAN=gprclean -XSUPERPROJECT=
1617

1718
# Installation directory

0 commit comments

Comments
 (0)