diff options
| -rw-r--r-- | bin/update/common.sh | 17 | ||||
| -rwxr-xr-x | bin/update/make_full_update.sh | 1 |
2 files changed, 18 insertions, 0 deletions
diff --git a/bin/update/common.sh b/bin/update/common.sh index eb358806fd04..5bba576c702c 100644 --- a/bin/update/common.sh +++ b/bin/update/common.sh @@ -26,6 +26,23 @@ get_file_size() { echo ${info[4]} } +check_externals() { + + # check whether we can call the mar executable + "$MAR" --version > /dev/null 2>&1 + if [ $? != 0 ]; then + notice "Could not find a valid mar executable in the path or in the MAR environment variable" + exit 1 + fi + + # check whether we can access the bzip2 executable + "$BZIP2" --help > /dev/null 2>&1 + if [ $? != 0 ]; then + notice "Could not find a valid bzip2 executable in the PATH or in the BZIP2 environment variable" + exit 1 + fi +} + copy_perm() { reference="$1" target="$2" diff --git a/bin/update/make_full_update.sh b/bin/update/make_full_update.sh index 2c0faef200f8..cb7de49b23d4 100755 --- a/bin/update/make_full_update.sh +++ b/bin/update/make_full_update.sh @@ -32,6 +32,7 @@ if [ $1 = -h ]; then exit 1 fi +check_externals # ----------------------------------------------------------------------------- archive="$1" |