tests/tools/check_source.sh
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=