lint.sh: vermin -vvv instead of -vvvv (#1556)

My previous commit to this had a typo and used -vvvv instead of -vvv.

The -vvvv is imho a little bit too verbose and we should rather use -vvv only.
pull/1557/head
Disconnect3d 3 years ago committed by GitHub
parent 1f01ea0494
commit afa96abfa0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -56,7 +56,7 @@ else
fi
# Checking minimum python version
vermin -vvvv --no-tips -q -t=3.6 --violations ./pwndbg/
vermin -vvv --no-tips -q -t=3.6 --violations ./pwndbg/
flake8 --show-source ${LINT_FILES}

Loading…
Cancel
Save