diff options
Diffstat (limited to 'ci/install.sh')
-rwxr-xr-x | ci/install.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/install.sh b/ci/install.sh index afe55bbff5..134eb7968d 100755 --- a/ci/install.sh +++ b/ci/install.sh @@ -4,6 +4,7 @@ set -e set -o pipefail if [[ "${CI_TARGET}" == lint ]]; then + python -m pip -q install --user --upgrade flake8 exit fi |