diff options
author | Sergio Martins <smartins@kde.org> | 2019-10-03 12:07:36 +0100 |
---|---|---|
committer | Sergio Martins <smartins@kde.org> | 2019-10-03 12:08:23 +0100 |
commit | d5463d89638a9d2cf57e9438bf0d895fd526b3d9 (patch) | |
tree | f86dab46efcf5cc52782864351ab526c5b07ebe7 | |
parent | 8d85a409aea6945c805b166e86ab5a93056766f6 (diff) |
Remove unused CLAZY_PREFIX variable
-rwxr-xr-x | tests/docker/build-clazy.sh | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/tests/docker/build-clazy.sh b/tests/docker/build-clazy.sh index 77a880b3..d92753c6 100755 --- a/tests/docker/build-clazy.sh +++ b/tests/docker/build-clazy.sh @@ -2,9 +2,8 @@ BRANCH=$1 J_FLAG=$2 -CLAZY_PREFIX=$3 -IGNORE_CHECKS=$4 -LLVM_ROOT=$5 +IGNORE_CHECKS=$3 +LLVM_ROOT=$4 if [ "$IGNORE_CHECKS" = "none" ] then |