Add check for required indentation script

diff --git a/contrib/utilities/indent b/contrib/utilities/indent
index a2291e6027917401e9c31917913ba1293d797ff5..bb7d929794b778678ee16412d25da71b2865458e 100755 (executable)
--- 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 7b08ab7be0ee854fac98a9fd3f9cc6544fdd4d56..da92aecadc42005435ec6a25bf226baffc8443fa 100755 (executable)
--- 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
 
 #