From 00f3d59a6168bc615c0ec0948f148e5a76310708 Mon Sep 17 00:00:00 2001 From: Johann Schmitz Date: Sat, 30 Jun 2018 07:26:35 +0200 Subject: [PATCH] Don't run coverage on jenkins --- Makefile | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/Makefile b/Makefile index d016891..5d62995 100644 --- a/Makefile +++ b/Makefile @@ -41,11 +41,7 @@ deb: travis: compile compile_optimized test_default_python coverage install_deps: - pip install -r requirements.txt - pip install -r requirements_dev.txt - -install_deps_local: pip install --user -r requirements.txt pip install --user -r requirements_dev.txt -jenkins: install_deps_local travis +jenkins: install_deps compile compile_optimized test_default_python