From bed5436a6e62281f22e5013b9b3c080259ef0db3 Mon Sep 17 00:00:00 2001 From: jo Date: Sat, 22 Jan 2022 17:09:42 +0100 Subject: [PATCH] chore: split dev requirement from package install --- tools/python.mk | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/python.mk b/tools/python.mk index 89d2c2ae2..00f46af38 100644 --- a/tools/python.mk +++ b/tools/python.mk @@ -26,7 +26,8 @@ $(VENV): install: $(VENV) source $(VENV)/bin/activate pip install --upgrade pip setuptools wheel - pip install $(SHARED_DEV_REQUIREMENTS) $(PIP_INSTALL) + pip install $(SHARED_DEV_REQUIREMENTS) + [[ -z "$(PIP_INSTALL)" ]] || pip install $(PIP_INSTALL) .PHONY: .format .format: $(VENV)