From 7393db50e02981b0af9b4d4f6eeefe3f0d0dd5ec Mon Sep 17 00:00:00 2001 From: jo Date: Sat, 22 Jan 2022 17:15:30 +0100 Subject: [PATCH] test: require lint to succeed for shared/ and tools/ --- shared/Makefile | 4 ++-- tools/Makefile | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/shared/Makefile b/shared/Makefile index 81f3974ba..267e8db82 100644 --- a/shared/Makefile +++ b/shared/Makefile @@ -3,8 +3,8 @@ all: lint test include ../tools/python.mk PIP_INSTALL = --editable .[dev] -PYLINT_ARG = libretime_shared tests || true -MYPY_ARG = libretime_shared || true +PYLINT_ARG = libretime_shared tests +MYPY_ARG = libretime_shared PYTEST_ARG = --cov=libretime_shared tests format: .format diff --git a/tools/Makefile b/tools/Makefile index 961a7e117..30a3814e3 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -3,8 +3,8 @@ all: lint test include python.mk PIP_INSTALL = -PYLINT_ARG = tools || true -MYPY_ARG = . || true +PYLINT_ARG = tools +MYPY_ARG = . PYTEST_ARG = . format: .format