From 147905b18ca34a33237933ffd64c40362ec0908e Mon Sep 17 00:00:00 2001
From: Fabian Castelli <fabian.castelli@kit.edu>
Date: Mon, 14 Feb 2022 18:44:57 +0100
Subject: [PATCH] Add check for required indentation script

---
 contrib/utilities/indent     | 5 +++++
 contrib/utilities/indent-all | 5 +++++
 2 files changed, 10 insertions(+)

diff --git a/contrib/utilities/indent b/contrib/utilities/indent
index a2291e6027..bb7d929794 100755
--- a/contrib/utilities/indent
+++ b/contrib/utilities/indent
@@ -44,6 +44,11 @@ if [ ! -f contrib/utilities/indent ]; then
   exit 1
 fi
 
+if [ ! -f contrib/utilities/indent_common.sh ]; then
+  echo "*** This script requires contrib/utilities/indent_common.sh."
+  exit 1
+fi
+
 source contrib/utilities/indent_common.sh
 
 #
diff --git a/contrib/utilities/indent-all b/contrib/utilities/indent-all
index 7b08ab7be0..da92aecadc 100755
--- a/contrib/utilities/indent-all
+++ b/contrib/utilities/indent-all
@@ -48,6 +48,11 @@ if [ ! -f contrib/utilities/indent-all ]; then
   exit 1
 fi
 
+if [ ! -f contrib/utilities/indent_common.sh ]; then
+  echo "*** This script requires contrib/utilities/indent_common.sh."
+  exit 1
+fi
+
 source contrib/utilities/indent_common.sh
 
 #
-- 
2.39.5