From 353814df59171e435708813243f47cfbcf7c1646 Mon Sep 17 00:00:00 2001
From: Jeff Epler <jepler@unpythonic.net>
Date: Fri, 19 Sep 2025 10:04:52 -0500
Subject: [PATCH] tools/ci.sh: Fix missing `set -e` when run as a script.

This is needed to correctly stop after an error in a CI step when running
`ci.sh` as a script.

Signed-off-by: Jeff Epler <jepler@unpythonic.net>
---
 tools/ci.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/ci.sh b/tools/ci.sh
index 26def3cc4d..3e34bd6fa8 100755
--- a/tools/ci.sh
+++ b/tools/ci.sh
@@ -1011,6 +1011,7 @@ function _ci_main {
             _ci_help
         ;;
         (*)
+            set -e
             cd $(dirname "$0")/..
             while [ $# -ne 0 ]; do
                 ci_$1