Travis also test flambda

eponier · Jan 28, 2016 · 7b22688 · 7b22688
1 parent 73013a4
commit 7b22688
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.travis-ci.sh b/.travis-ci.sh
@@ -29,7 +29,8 @@ control.
 ------------------------------------------------------------------------
 EOF
     mkdir -p $PREFIX
-    ./configure --prefix $PREFIX -with-debug-runtime -with-instrumented-runtime
+    ./configure --prefix $PREFIX -with-debug-runtime \
+      -with-instrumented-runtime $CONFIG_ARG
     export PATH=$PREFIX/bin:$PATH
     make world.opt
     make install

diff --git a/.travis.yml b/.travis.yml
@@ -18,6 +18,7 @@ script: bash -ex .travis-ci.sh
 matrix:
   include:
   - env: CI_KIND=build XARCH=i386
+  - env: CI_KIND=build XARCH=i386 CONFIG_ARG=-flambda
   - env: CI_KIND=changes
   - env: CI_KIND=tests
   allow_failures: