Re: libgomp.texi: Update for OpenMP v4.0

2013-10-15 Thread Tobias Burnus
Am 15.10.2013 22:35, schrieb Jakub Jelinek: Thanks. Just a few nits: Thanks for the review - I have now committed the attached revised version (Rev. 203635). Regarding your comments: non-negative, 0 is a valid target device number. I thought I read somewhere that for some variable 0 is th

Re: libgomp.texi: Update for OpenMP v4.0

2013-10-15 Thread Jakub Jelinek
On Tue, Oct 15, 2013 at 10:13:32PM +0200, Tobias Burnus wrote: > I used texinfo 4.14a to create the PDF and info file, which didn't > show any warning. Also the output looks okay. (However, I believe > some newer texinfo is picker.) > OK for the trunk? Thanks. Just a few nits: > +@node omp_set_d