From fe92d1b2387f1d54de86457d2dd7823e93a44440 Mon Sep 17 00:00:00 2001
From: Emil Velikov <emil.l.velikov@gmail.com>
Date: Mon, 3 Jun 2024 17:37:08 +0100
Subject: [PATCH] tools: enable bash "safe mode"

Signed-off-by: Emil Velikov <emil.l.velikov@gmail.com>
---
 tools/extract-all-patch-data.sh | 2 ++
 tools/extract-patch-data.sh     | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/tools/extract-all-patch-data.sh b/tools/extract-all-patch-data.sh
index 01acf24e..82b52acd 100644
--- a/tools/extract-all-patch-data.sh
+++ b/tools/extract-all-patch-data.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+set -euo pipefail
+
 SCRIPT_FOLDER="$(realpath "$(dirname "$0")")"
 SCRIPT="$SCRIPT_FOLDER/extract-patch-data.sh"
 
diff --git a/tools/extract-patch-data.sh b/tools/extract-patch-data.sh
index 78cfdade..7c34044b 100644
--- a/tools/extract-patch-data.sh
+++ b/tools/extract-patch-data.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+set -euo pipefail
+
 while read current_line
 do
     if [[ $current_line =~ ^Filename:* ]]; then