diff options
author | Adrian Reber <areber@redhat.com> | 2021-07-05 10:19:18 +0300 |
---|---|---|
committer | Andrei Vagin <avagin@gmail.com> | 2021-09-03 20:31:00 +0300 |
commit | 8f2b8c7be0cde35606046347f436c6d243129ce0 (patch) | |
tree | 8823601c06b076002c7db241a03cd73fe1ef9f4f /Makefile | |
parent | bd648cc8d9a92bca62f8f38764c7f27439e9fdfb (diff) |
scripts: run lint also on criu-ns
Signed-off-by: Adrian Reber <areber@redhat.com>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -406,6 +406,7 @@ lint: flake8 --config=scripts/flake8.cfg test/inhfd/*.py flake8 --config=scripts/flake8.cfg test/others/rpc/config_file.py flake8 --config=scripts/flake8.cfg lib/py/images/pb2dict.py + flake8 --config=scripts/flake8.cfg scripts/criu-ns shellcheck --version shellcheck scripts/*.sh shellcheck scripts/ci/*.sh scripts/ci/apt-install |