changeset 2437 | 105c20fdeb19 |
parent 2434 | 07f48018b6f5 |
child 2438 | 0f2e5303f212 |
--- a/tests/tools/check_source.sh Fri Oct 05 13:48:54 2018 +0300 +++ b/tests/tools/check_source.sh Fri Oct 05 14:22:01 2018 +0300 @@ -358,6 +358,7 @@ enable=$enable,W1648 # (bad-python3-import) Module moved in Python 3 enable=$enable,W1613 # (xrange-builtin) xrange built-in referenced enable=$enable,W1612 # (unicode-builtin) unicode built-in referenced + enable=$enable,W1619 #(old-division) division w/o __future__ statement # enable= options=