phpsg.sh: Add stricter bash options.

2025-02-18 09:29:31 +01:00
parent a13d4dd824
commit 8621a25c08
1 changed files with 2 additions and 0 deletions
--- a/phpsg.sh
+++ b/phpsg.sh
@ -22,6 +22,8 @@
 # 3. This notice may not be removed or altered from any source
 #    distribution.

+set -euo pipefail
+
 SOURCE_DIR="src"
 OUTPUT_DIR="output"