From 23e77e9a8483b8a865fe419b5d5af7c7687384e7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kamil=20=C5=9Aliwak?= <kamil.sliwak@codepoets.it>
Date: Fri, 8 Apr 2022 20:40:52 +0200
Subject: [PATCH] docs.sh: Fail on all errors, includding undefined variables
 and failures in piped commands

---
 docs/docs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/docs.sh b/docs/docs.sh
index ec3f3899a..f2c566761 100755
--- a/docs/docs.sh
+++ b/docs/docs.sh
@@ -26,7 +26,7 @@
 # (c) 2016 solidity contributors.
 #------------------------------------------------------------------------------
 
-set -e
+set -euo pipefail
 
 script_dir="$(dirname "$0")"