removing coverage stuff after CI build

gutomaia · Nov 2, 2017 · 04ead5f · 04ead5f
1 parent da3275e
commit 04ead5f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,5 @@
 *.check
+*.coverage
 *.egg-info/
 *.exe
 *.fns
@@ -8,6 +9,7 @@
 .checkpoint/
 .tox/
 build/
+coverage.xml
 deps/
 dist/
 github.mk

diff --git a/Makefile b/Makefile
@@ -41,6 +41,7 @@ python.mk:
 		touch $@
 
 clean: python_clean
+	@rm -rf .coverage coverage.xml
 
 purge: python_purge
 	@rm python.mk