Try to avoid rebuilding

8 years ago · 4cf79ab8cc
2 changed files with 3 additions and 0 deletions
--- a/.travis.yml
+++ b/.travis.yml
@ -15,6 +15,7 @@ cache:
  directories:
  - build
  - travis/mtime_cache
  - src/storm/utility/storm-version.cpp
 # Enable docker support
 services:
--- a/travis/postsubmit-helper.sh
+++ b/travis/postsubmit-helper.sh
@ -31,6 +31,8 @@ run() {
    # Make resources
    travis_fold start make_dep
    VERBOSE=1 make resources -j$N_JOBS
    VERBOSE=1 make test-resources -j$N_JOBS
    VERBOSE=1 make l3pp_ext -j$N_JOBS
    travis_fold end make_dep
    ;;