diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-13 18:21:01 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-13 18:25:15 -0500 |
commit | 852197cdaac789b75470949fae8d05663bde60a0 (patch) | |
tree | 7006f91e7d8e66354f8c45d54fa24898b12e7b69 /.travis.yml | |
parent | 21ceda26610315565d951d2cd189c91dd65b4001 (diff) |
Fix to Travis-CI config.
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 6d4b4b852..aabb37762 100644 --- a/.travis.yml +++ b/.travis.yml @@ -3,7 +3,7 @@ compiler: - gcc - clang env: - - TRAVIS_CVC4_CONFIG='production-cln --enable-language-bindings=java,c' + - TRAVIS_CVC4_CONFIG='production --enable-language-bindings=java,c' - TRAVIS_CVC4_CONFIG='debug --enable-language-bindings=java,c' - TRAVIS_CVC4_DISTCHECK=yes before_install: |