From 2ff20b58ceaee6b826b4e522941af72e6c99e266 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 8 May 2017 17:31:38 +0200
Subject: [PATCH] More globs

---
 .gitignore                   | 2 ++
 travis/mtime_cache/globs.txt | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/.gitignore b/.gitignore
index a4327b775..27874b9d4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -52,3 +52,5 @@ nbproject/
 *.out
 # Python config
 stormpy/setup.cfg
+# Travis helpers
+travis/mtime_cache/cache.json
diff --git a/travis/mtime_cache/globs.txt b/travis/mtime_cache/globs.txt
index 3b617ad21..794ac4090 100644
--- a/travis/mtime_cache/globs.txt
+++ b/travis/mtime_cache/globs.txt
@@ -1 +1,3 @@
 src/**/*.{%{cpp}}
+src/**/CMakeLists.txt
+resources/3rdparty/**/*.{%{cpp}}