Avoid parallel creation of virtual environment and pip upgrade (fix i…

…ssue OCR-D#165) Signed-off-by: Stefan Weil <[email protected]>
stweil · Aug 20, 2020 · 2c3aaac · 2c3aaac
1 parent 64e578f
commit 2c3aaac
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -136,8 +136,8 @@ deinit:
 # Get Python modules.
 
 $(ACTIVATE_VENV) $(VIRTUAL_ENV):
-	$(PYTHON) -m venv $(VIRTUAL_ENV)
-	. $(ACTIVATE_VENV) && $(PIP) install --upgrade $(PIP_OPTIONS_E) pip setuptools
+	$(SEM) $(PYTHON) -m venv $(VIRTUAL_ENV)
+	. $(ACTIVATE_VENV) && $(SEM) $(PIP) install --upgrade $(PIP_OPTIONS_E) pip setuptools
 
 .PHONY: wheel
 wheel: $(BIN)/wheel