On Tue, Mar 19, 2013 at 05:34:08PM +0100, Tobias Burnus wrote:
> This patch adds documentation for OMP_DISPLAY_ENV, which was added
> by previously submitted patch, and it documents GOMP_SPINCOUNT,
> which was added 2010-12-02 but not yet documented.
>
> Additionally, I have updated the section references to OpenMP 4.0
> (but only for the environment section) and did some minor cleanups.
>
> Tested with make pdf and make info.
> OK for the branch - after it has been created?
Yes, thanks.
> 2013-03-19 Tobias Burnus <bur...@net-b.de>
>
> * libgomp.texi (Environment Variables): Minor cleanup,
> update section refs to OpenMP 4.0rc2.
> (OMP_DISPLAY_ENV, GOMP_SPINCOUNT): Document these
> environment variables.
Jakub
