On Sun, 27 Jan 2013 12:21:01 +0100
Michał Górny mgo...@gentoo.org wrote:
The installed headers are supposed not to change between ABIs. If they
do, we need to do something special about them or everything is going
to end up real bad.
Therefore, do a checksum of headers installed in
On Sun, 27 Jan 2013 09:44:23 -0300
Alexis Ballier aball...@gentoo.org wrote:
On Sun, 27 Jan 2013 12:21:01 +0100
Michał Górny mgo...@gentoo.org wrote:
The installed headers are supposed not to change between ABIs. If they
do, we need to do something special about them or everything is
