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

[Paolo Carlini]

On 05/21/2013 10:25 AM, Matthias Klose wrote:
> Am 19.05.2013 11:40, schrieb Paolo Carlini:
>> On 05/19/2013 11:35 AM, Andreas Schwab wrote:
>>> Tests that now fail, but worked before:
>> Thanks Andreas. Matthias, please revert ASAP, thanks.
> you already did that.
>
> Looks like ext/random includes opt_random.h, which is not on any include dir, so
> make it ext/opt_random.h.  tests all pass, and check the include with an
> installed version too.
Ok, if nobody has further comments over the next day or so, let's try 
again ;)

Thanks,
Paolo.