From c09f6c1924972d7e5c55921abf24a98d95c45af1 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 15 Aug 2017 15:23:06 +0200
Subject: [PATCH] Update mtime_cache files for travis caching

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

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