From: Fabian Castelli <fabian.castelli@kit.edu>
Date: Mon, 14 Feb 2022 17:44:57 +0000 (+0100)
Subject: Add check for required indentation script
X-Git-Tag: v9.4.0-rc1~493^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F13380%2Fhead;p=dealii.git

Add check for required indentation script
---

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
 
 #