Merge pull request #17937 from ivanvc/fix-running-make-fix

make: fix running fix target after verify
This commit is contained in:
Benjamin Wang 2024-05-05 07:45:51 +01:00 committed by GitHub
commit a8c6a9c605
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -125,9 +125,11 @@ verify-genproto:
verify-yamllint:
ifeq (, $(shell which yamllint))
@echo "Installing yamllint..."
python3 -m venv bin/python
bin/python/bin/python3 -m pip install yamllint
./bin/python/bin/yamllint --config-file tools/.yamllint .
tmpdir=$$(mktemp -d); \
trap "rm -rf $$tmpdir" EXIT; \
python3 -m venv $$tmpdir; \
$$tmpdir/bin/python3 -m pip install yamllint; \
$$tmpdir/bin/yamllint --config-file tools/.yamllint .
else
@echo "yamllint already installed..."
yamllint --config-file tools/.yamllint .