From 70631448ec95ff1d1559291183169b73366aa5e3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Javier=20Fernandez-Sanguino=20Pe=C3=B1a?= Date: Sun, 28 Apr 2013 20:37:01 +0000 Subject: Fix name of tool --- scripts/merge_xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'scripts') diff --git a/scripts/merge_xml b/scripts/merge_xml index eeaa8eaaf..bb8ed3115 100755 --- a/scripts/merge_xml +++ b/scripts/merge_xml @@ -16,7 +16,7 @@ SCRIPTDIR="./scripts" BUILDDIR="./build" # Required tools -for tool in gawk egrep iconf ; do +for tool in gawk egrep iconv ; do if [ -z "`which $tool`" ] ; then echo "ERROR: $tool is required, please install it." exit 1 -- cgit v1.2.3