Merge remote-tracking branch 'upstream/master'

[nominatim.git] / Makefile

diff --git a/Makefile b/Makefile
index cd7280fe193175eb2412f0de5719f32caf237ded..421b671a1cdd50506298f71bfc1c2373a5f828cd 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -18,7 +18,7 @@ build-api:
 tests: mypy lint pytest bdd
 
 mypy:
-       mypy --strict src
+       mypy --strict --python-version 3.8 src
 
 pytest:
        pytest test/python