From 5b05a6ff99c57d10ad4e80c53075bd2f95b00ed3 Mon Sep 17 00:00:00 2001
From: Benjamin Dauvergne <bdauvergne@entrouvert.com>
Date: Thu, 17 Jan 2019 09:30:53 +0100
Subject: [PATCH] jenkins.sh: add -r to rm htmlcov (#29776)

---
 jenkins.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jenkins.sh b/jenkins.sh
index 8add751..ce3419b 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -4,7 +4,7 @@ set -e # prevent hiding of errors
 
 rm -f *coverage.xml
 rm -f *test_results.xml
-rm -f htmlcov htmlcov-*
+rm -rf htmlcov htmlcov-*
 
 virtualenv venv
 venv/bin/pip install --upgrade setuptools