diff options
author | maneamarius <locomotion.itservices@gmail.com> | 2022-05-26 22:55:29 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-26 22:55:29 +0300 |
commit | dd3163900a1bddbe6f5eb64af7f79736dddd9180 (patch) | |
tree | 5759776683cd70f2f767f0abd628b814bd6ba82f | |
parent | 788d374f36a3699f083e9d83e02ddbbe826b38c9 (diff) |
fix COVERITY_PATH added with INSTALL_DIR into PATH (#13014)
-rwxr-xr-x | coverity-scan.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/coverity-scan.sh b/coverity-scan.sh index 0e4c311b86..63605b5b88 100755 --- a/coverity-scan.sh +++ b/coverity-scan.sh @@ -87,8 +87,8 @@ debugrun() { scanit() { progress "Scanning using coverity" - COVERITY_PATH=$(find /opt/ -maxdepth 1 -name 'cov*linux*') - export PATH=${PATH}:${INSTALL_DIR}/${COVERITY_PATH}/bin/ + COVERITY_PATH=$(find "${INSTALL_DIR}" -maxdepth 1 -name 'cov*linux*') + export PATH=${PATH}:${COVERITY_PATH}/bin/ covbuild="${COVERITY_BUILD_PATH}" [ -z "${covbuild}" ] && covbuild="$(which cov-build 2> /dev/null || command -v cov-build 2> /dev/null)" @@ -147,8 +147,8 @@ installit() { run sudo tar -z -x -f "${TMP_DIR}/${COVERITY_BUILD_VERSION}.tar.gz" || exit 1 rm "${TMP_DIR}/${COVERITY_BUILD_VERSION}.tar.gz" - COVERITY_PATH=$(find /opt/ -maxdepth 1 -name 'cov*linux*') - export PATH=${PATH}:${INSTALL_DIR}/${COVERITY_PATH}/bin/ + COVERITY_PATH=$(find "${INSTALL_DIR}" -maxdepth 1 -name 'cov*linux*') + export PATH=${PATH}:${COVERITY_PATH}/bin/ elif find . -name "*.tar.gz" > /dev/null 2>&1; then fatal "Downloaded coverity tool tarball does not appear to be the version we were expecting, exiting." else |