projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 21ceda2)
Fix to Travis-CI config.
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 13 Dec 2013 23:21:01 +0000 (18:21 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 13 Dec 2013 23:25:15 +0000 (18:25 -0500)
.travis.yml patch | blob | history

diff --git a/.travis.yml b/.travis.yml
index 6d4b4b85242785ad81129f8b9f01576e4e4f542a..aabb37762ba1fe941a33c85ca864da018e13d91e 100644 (file)
--- 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: