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