From f8c1284a3f5454964aa3002575159b2c9c3df34c Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 7 Feb 2017 11:04:27 +0100
Subject: [travis] Enable 32bit test-suite + validate.

---
 .travis.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 1dc08fb3db..7529870cdd 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -13,6 +13,7 @@ addons:
     packages:
     - opam
     - aspcud
+    - gcc-multilib
 env:
   global:
   - NJOBS=2
@@ -20,7 +21,9 @@ env:
   - COMPILER="system"
   # Main test suites
   matrix:
-  - TEST_TARGET="validate"           TW="travis_wait"
+  - TEST_TARGET="test-suite" COMPILER="4.02.3+32bit"
+  - TEST_TARGET="validate"                           TW="travis_wait"
+  - TEST_TARGET="validate"   COMPILER="4.02.3+32bit" TW="travis_wait"
   - TEST_TARGET="ci-color"
   - TEST_TARGET="ci-compcert"
   - TEST_TARGET="ci-coquelicot"
-- 
cgit v1.2.3