building for 32bits requires to be protected within a linux32
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 2 Jul 2014 06:56:18 +0000 (08:56 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 2 Jul 2014 06:56:18 +0000 (08:56 +0200)
commitdbfb25196263929af9d30ed95571b1dd4235c2d4
treee148f17df657044eedc2ee854ccaba775c5e00e2
parent6d4e14a0b6ee5d3a5e30c27fa131fc791e197ca2
building for 32bits requires to be protected within a linux32
scripts/builds.sh