From 1eaa02fab1088172d0066c59a000d1dde7b16421 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 5 Jul 2017 22:54:49 +0200
Subject: [PATCH] Clear mtime_cache when starting

---
 travis/build-helper.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/travis/build-helper.sh b/travis/build-helper.sh
index 1fd6dc785..72e377617 100755
--- a/travis/build-helper.sh
+++ b/travis/build-helper.sh
@@ -160,6 +160,11 @@ esac
 
 # Restore timestamps of files
 travis_fold start mtime
+if [[ "$1" == "Build1" ]]
+then
+    # Remove old mtime cache
+    rm -rf travis/mtime_cache/cache.json
+fi
 ruby travis/mtime_cache/mtime_cache.rb -g travis/mtime_cache/globs.txt -c travis/mtime_cache/cache.json
 travis_fold end mtime