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}}