[php-src] PR #25279: Add "set -e" to important shell scripts
| From: | mvorisek | Date: | Sat, 07 Nov 2026 11:21:44 +0000 |
| Subject: | [php-src] PR #25279: Add "set -e" to important shell scripts | ||
| Groups: | php.git-pulls | ||
| Request: | Send a blank email to git-pulls+get-40386@lists.php.net to get a copy of this message | ||
Pull Request: https://github.com/php/php-src/pull/25279
Author: mvorisek
makedist is important script and it was missing set -e. Failures like
non-existing binaries were ignored.
I am however not expect in shell so deep review/help required.