]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Make it clear that gnatmake passes the ball to gprbuild if -P is set
authorVasiliy Fofanov <fofanov@adacore.com>
Tue, 28 Jun 2022 15:50:38 +0000 (17:50 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 12 Jul 2022 12:24:13 +0000 (12:24 +0000)
commit3a7a02f4355bb81f7cb253fc900ad57c9503f5c7
tree4953c4f8a27a658ad74cd45b72b8756ce593c609
parentfa7ea64706f7d4b1302360818c87bf5970d59a0c
[Ada] Make it clear that gnatmake passes the ball to gprbuild if -P is set

Also move -P switch description to the top of the switches list.

gcc/ada/

* makeusg.adb,
doc/gnat_ugn/building_executable_programs_with_gnat.rst: Move -P
to the top of switches list and make it clear that gnatmake
passes the ball to gprbuild if -P is set.
* gnat_ugn.texi: Regenerate.
gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst
gcc/ada/gnat_ugn.texi
gcc/ada/makeusg.adb