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