From 1a53f4d2c146666f3cfa14888cdb933a5a95022c Mon Sep 17 00:00:00 2001 From: Adrien Dupuis <61695653+adriendupuis@users.noreply.github.com> Date: Mon, 17 Aug 2026 11:50:52 +0200 Subject: [PATCH] api_refs.sh: Stop on error --- tools/api_refs/api_refs.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/api_refs/api_refs.sh b/tools/api_refs/api_refs.sh index 26efb47fe2..d0a3a8333c 100755 --- a/tools/api_refs/api_refs.sh +++ b/tools/api_refs/api_refs.sh @@ -1,6 +1,7 @@ #!/usr/bin/env bash set +x; +set -e; AUTH_JSON=$(realpath ${1:-~/.composer/auth.json}); # Path to an auth.json file allowing to install the targeted edition and version PHP_API_OUTPUT_DIR=${2:-./docs/api/php_api/php_api_reference}; # Path to the directory where the built PHP API Reference is hosted