.travis.yml

runtimeverification · Dec 8, 2018 · d6cbc21 · d6cbc21
1 parent e829b92
commit d6cbc21
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -12,6 +12,7 @@ before_install:
   - cat /proc/meminfo
   - export BRANCH=$(if [ "$TRAVIS_PULL_REQUEST" == "false" ]; then echo $TRAVIS_BRANCH; else echo $TRAVIS_PULL_REQUEST_BRANCH; fi)
   - echo ${BRANCH#travis-test-}
+  - export EXT_KPROVE_OPTS=--log-progress
   - travis_wait 30 sleep 1800 &
 
 language: java