Merge remote branch 'origin/master' into edge

Author: automatic-merge

Makefile

@@ -11,7 +11,8 @@ export ALS=$(ROOTDIR)/.obj/server/ada_language_server
 TESTER=$(ROOTDIR)/.obj/tester/tester-run
 CODEC_TEST=.obj/codec_test/codec_test
 
-GPRBUILD=gprbuild -j0 -XSUPERPROJECT=
+GPRBUILD_FLAGS=-j0
+GPRBUILD=gprbuild $(GPRBUILD_FLAGS) -XSUPERPROJECT=
 GPRCLEAN=gprclean -XSUPERPROJECT=
 
 # Installation directory

testsuite/.als/traces.cfg

@@ -1,14 +1,15 @@
->inout.txt:buffer_size=0
+# If you need full input/output from the server uncomment inout.txt lines.
+#>inout.txt:buffer_size=0
 
 # Traces
-ALS.MAIN=yes  > inout.txt:buffer_size=0
+#ALS.MAIN=yes  > inout.txt:buffer_size=0
 
 # Full logs, helpful for debugging
-ALS.IN=yes  > inout.txt:buffer_size=0
-ALS.OUT=yes  > inout.txt:buffer_size=0
+#ALS.IN=yes  > inout.txt:buffer_size=0
+#ALS.OUT=yes  > inout.txt:buffer_size=0
 
 # Testing should include incremental text changes
-ALS.ALLOW_INCREMENTAL_TEXT_CHANGES=yes > inout.txt:buffer_size=0
+ALS.ALLOW_INCREMENTAL_TEXT_CHANGES=yes #> inout.txt:buffer_size=0
 
 # Activate navigation warnings in test mode
 ALS.NOTIFICATIONS_FOR_IMPRECISE_NAVIGATION=yes