From 147905b18ca34a33237933ffd64c40362ec0908e Mon Sep 17 00:00:00 2001 From: Fabian Castelli 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