From b7eb048091b3d60dfc8a2ab7c9872a0a39b77c61 Mon Sep 17 00:00:00 2001 From: Nacho Caballero Date: Sun, 20 Jul 2025 12:33:38 +0200 Subject: [PATCH] exit on error in `make venv` --- Doc/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Doc/Makefile b/Doc/Makefile index c8a749a02a89ec..84578c5c57f478 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -170,6 +170,7 @@ venv: echo "venv already exists."; \ echo "To recreate it, remove it first with \`make clean-venv'."; \ else \ + set -e; \ echo "Creating venv in $(VENVDIR)"; \ if $(UV) --version >/dev/null 2>&1; then \ $(UV) venv --python=$(PYTHON) $(VENVDIR); \