From 30e654e62d5350c316f863610950fb2049539226 Mon Sep 17 00:00:00 2001 From: "Austin S. Hemmelgarn" Date: Wed, 30 Mar 2022 12:32:58 -0400 Subject: Fix coverity scan. (#12561) --- coverity-scan.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'coverity-scan.sh') diff --git a/coverity-scan.sh b/coverity-scan.sh index f8486de020..a745b07dd3 100755 --- a/coverity-scan.sh +++ b/coverity-scan.sh @@ -159,11 +159,11 @@ installit() { fatal "Failed to install coverity." fi - # Clean temp directory - [ -n "${TMP_DIR}" ] && rm -rf "${TMP_DIR}" - progress "Coverity scan tools are installed." cd "$ORIGINAL_DIR" + + # Clean temp directory + [ -n "${TMP_DIR}" ] && rm -rf "${TMP_DIR}" return 0 } -- cgit v1.2.3