Deploy Travis CI build 1271 to GitHub

edwargl7 · Apr 18, 2020 · 63a5487 · 63a5487
1 parent 252e3d5
commit 63a5487
Show file tree

Hide file tree

Showing 3 changed files with 81 additions and 82 deletions.
diff --git a/Makefile b/Makefile
@@ -81,8 +81,8 @@ RANDOM_SEED ?= $(shell date +%s)
 FAILURES := .cache/v/cache/lastfailed
 
 PYTEST_OPTIONS := --random --random-seed=$(RANDOM_SEED)
-ifdef DISABLE_COVERAGE
-PYTEST_OPTIONS += --no-cov --disable-warnings
+ifndef DISABLE_COVERAGE
+PYTEST_OPTIONS += --cov=$(PACKAGE)
 endif
 PYTEST_RERUN_OPTIONS := --last-failed --exitfirst