From 4cf79ab8cc46f26c00b92c56063bf761aad87ccc Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 17 May 2017 10:38:39 +0200
Subject: [PATCH] Try to avoid rebuilding

---
 .travis.yml                 | 1 +
 travis/postsubmit-helper.sh | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index def02f229..450e15a2d 100644
--- 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:
diff --git a/travis/postsubmit-helper.sh b/travis/postsubmit-helper.sh
index 5f57a036a..7f4d9c2a3 100755
--- 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
     ;;