From f254a05f4e86d0965773885b05f3e516e138d2ab Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 17 Aug 2017 09:25:43 +0200
Subject: [PATCH] Update mtime_cache files for travis caching

---
 travis/mtime_cache/globs.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/travis/mtime_cache/globs.txt b/travis/mtime_cache/globs.txt
index 09bc1e5bf..a09cba27a 100644
--- a/travis/mtime_cache/globs.txt
+++ b/travis/mtime_cache/globs.txt
@@ -1,4 +1,5 @@
 src/**/*.{%{cpp}}
 src/**/CMakeLists.txt
+CMakeLists.txt
 resources/3rdparty/**/*.{%{cpp}}
 resources/3rdparty/eigen-3.3-beta1/StormEigen/**/*