[Ada] Make it clear that gnatmake passes the ball to gprbuild if -P is set

Pierre-Marie de Rodat derodat@adacore.com
Tue Jul 12 12:25:30 GMT 2022


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

Tested on x86_64-pc-linux-gnu, committed on trunk

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.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch.diff
Type: text/x-diff
Size: 3066 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc-patches/attachments/20220712/c680cc0f/attachment.bin>


More information about the Gcc-patches mailing list