diff options
| author | Javier Fernandez-Sanguino Peña <jfs@debian.org> | 2013-04-28 20:36:18 +0000 |
|---|---|---|
| committer | Javier Fernandez-Sanguino Peña <jfs@debian.org> | 2013-04-28 20:36:18 +0000 |
| commit | 585f34edd16ae47c3caf869f643bd13939e5e90e (patch) | |
| tree | 28dbca5f77e94ec584f4d29f0e2e4ea34cdc60a6 /scripts | |
| parent | 61277c4a151193ec7e086f0953a6ebb9fe032be6 (diff) | |
| download | installation-guide-585f34edd16ae47c3caf869f643bd13939e5e90e.zip | |
Check that the required tools are there before continuing
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/merge_xml | 8 |
1 files changed, 8 insertions, 0 deletions
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 |