From afa96abfa022052adbf39a430a7f353faac32838 Mon Sep 17 00:00:00 2001 From: Disconnect3d Date: Mon, 30 Jan 2023 21:46:38 +0100 Subject: [PATCH] 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. --- lint.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lint.sh b/lint.sh index 8a68bb3e8..7791288a2 100755 --- a/lint.sh +++ b/lint.sh @@ -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}