in f8/32bits _target_cpu is i386 while kernel_arch is i686
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 18 Oct 2011 11:11:57 +0000 (13:11 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 18 Oct 2011 11:11:57 +0000 (13:11 +0200)

No differences found