From 585f34edd16ae47c3caf869f643bd13939e5e90e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Javier=20Fernandez-Sanguino=20Pe=C3=B1a?= Date: Sun, 28 Apr 2013 20:36:18 +0000 Subject: Check that the required tools are there before continuing --- scripts/merge_xml | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'scripts') diff --git a/scripts/merge_xml b/scripts/merge_xml index 64978eb3c..eeaa8eaaf 100755 --- a/scripts/merge_xml +++ b/scripts/merge_xml @@ -15,6 +15,14 @@ language=${1:-pl} SCRIPTDIR="./scripts" BUILDDIR="./build" +# Required tools +for tool in gawk egrep iconf ; do + if [ -z "`which $tool`" ] ; then + echo "ERROR: $tool is required, please install it." + exit 1 + fi +done + LANGDIR="./$language" [ -d $LANGDIR ] || exit 1 -- cgit v1.2.3