diff options
Diffstat (limited to 'coverity')
-rwxr-xr-x | coverity/coverity_iuh.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coverity/coverity_iuh.sh b/coverity/coverity_iuh.sh index 455bd92..82a6099 100755 --- a/coverity/coverity_iuh.sh +++ b/coverity/coverity_iuh.sh @@ -3,7 +3,7 @@ set -e -x base_dir="$PWD" -src_dir="$base_dir/sources-iuh" +src_dir="$base_dir/source-iuh" cov_dir="$src_dir/cov-int" export PATH="$base_dir/cov-analysis-linux64-8.5.0/bin/:$PATH" |