From: Michael Wallner <mike@php.net>
Date: Mon, 5 Mar 2018 15:52:52 +0000 (+0100)
Subject: delete profile data before cache
X-Git-Tag: v2.1.4~2
X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-pq;a=commitdiff_plain;h=c3aba48026c9f2a6c8eab21163b3ed1c757f15ca

delete profile data before cache
---

diff --git a/.travis.yml b/.travis.yml
index 0384389..6a0c2ee 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -17,7 +17,10 @@ compiler:
 cache:
  directories:
   - $HOME/cache
- 
+
+before_cache:
+ - find $HOME/cache -name '*.gcda' -o -name '*.gcno' -delete
+
 env:
  global:
   - PQ_DSN="postgres://postgres@localhost/test"
diff --git a/scripts/gen_travis_yml.php b/scripts/gen_travis_yml.php
index 77d3a0f..10e0216 100755
--- a/scripts/gen_travis_yml.php
+++ b/scripts/gen_travis_yml.php
@@ -18,7 +18,10 @@ compiler:
 cache:
  directories:
   - $HOME/cache
- 
+
+before_cache:
+ - find $HOME/cache -name '*.gcda' -o -name '*.gcno' -delete
+
 env:
  global:
   - PQ_DSN="postgres://postgres@localhost/test"