diff options
| author | Wojtek Kosior <koszko@koszko.org> | 2022-07-08 19:09:50 +0200 |
|---|---|---|
| committer | Wojtek Kosior <koszko@koszko.org> | 2022-07-09 09:03:50 +0200 |
| commit | 96fca118960d3d5d6e40e00bcc85307a001f75e2 (patch) | |
| tree | c3354d2f01820eb8edb19e073ba893e6671d9837 /debian/patches/0001-add-mypy.ini-for-older-mypy-versions-that-don-t-supp.patch | |
| parent | e55faf7dd0c13af4c4eaf94ebe0f2ae18799898a (diff) | |
| download | immutables-debian-debian.tar.gz immutables-debian-debian.zip | |
update debian/patchesdebian-debian
Diffstat (limited to 'debian/patches/0001-add-mypy.ini-for-older-mypy-versions-that-don-t-supp.patch')
| -rw-r--r-- | debian/patches/0001-add-mypy.ini-for-older-mypy-versions-that-don-t-supp.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/debian/patches/0001-add-mypy.ini-for-older-mypy-versions-that-don-t-supp.patch b/debian/patches/0001-add-mypy.ini-for-older-mypy-versions-that-don-t-supp.patch new file mode 100644 index 0000000..ef9ea28 --- /dev/null +++ b/debian/patches/0001-add-mypy.ini-for-older-mypy-versions-that-don-t-supp.patch @@ -0,0 +1,22 @@ +From: Wojtek Kosior <koszko@koszko.org> +Date: Fri, 8 Jul 2022 19:08:15 +0200 +Subject: add mypy.ini for older mypy versions that don't support + pyproject.toml + +--- + mypy.ini | 6 ++++++ + 1 file changed, 6 insertions(+) + create mode 100644 mypy.ini + +diff --git a/mypy.ini b/mypy.ini +new file mode 100644 +index 0000000..1cd3b58 +--- /dev/null ++++ b/mypy.ini +@@ -0,0 +1,6 @@ ++[mypy] ++incremental = true ++strict = true ++ ++[mypy-immutables.map,immutables._testutils] ++ignore_errors = true |