From 559243e0f29faeec55e694be5d64bbaaa08ab65e Mon Sep 17 00:00:00 2001 From: Nacho Caballero Date: Sun, 20 Jul 2025 14:32:42 +0200 Subject: [PATCH] ensure `make venv` exits on error --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 988eba44892..4ec6084b1d1 100644 --- a/Makefile +++ b/Makefile @@ -64,6 +64,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); \