Merge remote-tracking branch 'upstream/master'

[nominatim.git] / Makefile

diff --git a/Makefile b/Makefile
index cd7280fe193175eb2412f0de5719f32caf237ded..9e914850b783400e9f2c1d0b6c6d9548b3678c14 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -18,13 +18,13 @@ build-api:
 tests: mypy lint pytest bdd
 
 mypy:
 tests: mypy lint pytest bdd
 
 mypy:

-       mypy --strict src
+       mypy --strict --python-version 3.8 src

 
 pytest:
        pytest test/python
 
 lint:
 
 pytest:
        pytest test/python
 
 lint:

-       pylint src
+       flake8 src

 
 bdd:
        cd test/bdd; behave -DREMOVE_TEMPLATE=1
 
 bdd:
        cd test/bdd; behave -DREMOVE_TEMPLATE=1