docs.sh: Fail on all errors, includding undefined variables and failures in piped commands

2023-10-03 13:03:40 +00:00 · 2022-04-08 20:41:31 +02:00
parent efd0024853
commit 23e77e9a84
1 changed files with 1 additions and 1 deletions
@@ -26,7 +26,7 @@
 # (c) 2016 solidity contributors.
 #------------------------------------------------------------------------------

-set -e
+set -euo pipefail

 script_dir="$(dirname "$0")"