OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Minor doc improvement

Browse Source 
gcc/ada/

	* doc/gnat_ugn/platform_specific_information.rst: Improve doc
	on permission and containers.
	* gnat_ugn.texi: Regenerate.
This commit is contained in:
Arnaud Charlet 2021-07-22 03:27:41 -04:00 committed by Pierre-Marie de Rodat
parent 8c61547d80
commit f4f6c18d9f
2 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ada/doc/gnat_ugn/platform_specific_information.rst
View File

@ -217,7 +217,10 @@ this in a library package body in your application:
(if geteuid = 0 then True else raise Program_Error with "must be root");
It gets the effective user id, and if it's not 0 (i.e. root), it raises
Program_Error.
Program_Error. Note that if you re running the code in a container, this may
not be sufficient, as you may have sufficient priviledge on the container,
but not on the host machine running the container, so check that you also
have sufficient priviledge for running the container image.
.. index:: Linux
.. index:: GNU/Linux

7
gcc/ada/gnat_ugn.texi
View File

@ -22645,7 +22645,10 @@ Ignore : constant Boolean :=
@end quotation
It gets the effective user id, and if it’s not 0 (i.e. root), it raises
Program_Error.
Program_Error. Note that if you re running the code in a container, this may
not be sufficient, as you may have sufficient priviledge on the container,
but not on the host machine running the container, so check that you also
have sufficient priviledge for running the container image.
@geindex Linux
@ -29228,8 +29231,8 @@ to permit their use in free software.
@printindex ge
@anchor{cf}@w{ }
@anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{ }
@anchor{cf}@w{ }
@c %**end of body
@bye