Re: [Valgrind-developers] valgrind: r12239 - trunk/docs/xml

[Julian S. <js...@ac...>]

> > +<para>You can specify the temporary directory to use either via
> > +the <computeroutput>--with-tmpdir=</computeroutput> configure time
> > +flag, or by setting environment variable TMPDIR when running Valgrind
> > +(on the device, not the Android device).
> 
> I do not understand the difference between the device' and 'the Android
> device'. Isn't it rather something like:
>     ' (on the Android device, not on the Android NDK development host).' ?

Yes, completely correct .. caused by brain-dead-ness at this end.

> Note also that the location for FIFO files can be specifically chosen
> with the Valgrind command line option --vgdb-prefix.

Ah, ok.

I'll fix the typo and add a comment about --vgdb-prefix (probably on
Monday).

J