[patch] install host specific {bits,ext}/opt_random.h headers in host specific c++ incdir

[Paolo Carlini]

Hi,

On 05/12/2013 11:58 AM, Matthias Klose wrote:
> {bits,ext}/opt_random.h became host specific in 4.8, but are still installed
> into the host independent c++ include dir.  install them into the host specific
> include dir instead.  Ok for 4.8 and trunk?
I think it's Ok, yes, but let's do mainline only, for now at least.

Thanks!
Paolo.