diff options
author | Wolfgang Grandegger <wg@grandegger.com> | 2017-07-22 13:15:41 +0200 |
---|---|---|
committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2017-07-22 14:35:55 +0200 |
commit | 17dd0d49da96e8043ed244a480de0a48b0b116fd (patch) | |
tree | 6b0d7f529ad74b3f91e90fd732dc0fe48a308921 | |
parent | 994301a26f977953549a7330aa6dca239dc2f4d3 (diff) | |
download | buildroot-17dd0d49da96e8043ed244a480de0a48b0b116fd.tar.gz buildroot-17dd0d49da96e8043ed244a480de0a48b0b116fd.zip |
support/scripts/fix-rpath: check if the patchelf utility is executable
Signed-off-by: Wolfgang Grandegger <wg@grandegger.com>
Reviewed-by: Arnout Vandecappelle (Essensium/Mind) <arnout@mind.be>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
-rwxr-xr-x | support/scripts/fix-rpath | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/support/scripts/fix-rpath b/support/scripts/fix-rpath index f7c70b7c7e..f92e6013da 100755 --- a/support/scripts/fix-rpath +++ b/support/scripts/fix-rpath @@ -45,6 +45,9 @@ Environment: TOOLCHAIN_EXTERNAL_DOWNLOAD_INSTALL_DIR (default HOST_DIR/opt/ext-toolchain) + +Returns: 0 if success or 1 in case of error + EOF } @@ -60,6 +63,11 @@ main() { local find_args=( ) local sanitize_extra_args=( ) + if ! "${PATCHELF}" --version > /dev/null 2>&1; then + echo "Error: can't execute patchelf utility '${PATCHELF}'" + exit 1 + fi + case "${tree}" in host) rootdir="${HOST_DIR}" |