avoid check-sys-slice with wtx
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 25 May 2012 08:59:53 +0000 (10:59 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 25 May 2012 08:59:53 +0000 (10:59 +0200)
commit7a777c6b9443601a6d5705ac0c0674caef365fc0
treefa45d65f61a7d0e4a9a38121117be9d6c435b77c
parentbca8a16d8a72da4216e742cc64fc6d11f79f512a
avoid check-sys-slice with wtx
scripts/builds.sh