changeset 2443 | 75a274023970 |
parent 2442 | b13f021c68a5 |
child 2444 | 235f847be37e |
--- a/tests/tools/check_source.sh Tue Oct 09 14:03:44 2018 +0300 +++ b/tests/tools/check_source.sh Wed Oct 10 10:26:27 2018 +0300 @@ -362,6 +362,7 @@ enable=$enable,W1601 # (apply-builtin) apply built-in referenced enable=$enable,W1659 # (xreadlines-attribute) Accessing a removed xreadlines attribute enable=$enable,W1607 # (file-builtin) file built-in referenced + enable=$enable,W1606 # (execfile-builtin) execfile built-in referenced # enable= options=