diff --git a/tests/lint/check_file_type.py b/tests/lint/check_file_type.py index da3a456dafb6e..d0a12cb5450f6 100644 --- a/tests/lint/check_file_type.py +++ b/tests/lint/check_file_type.py @@ -77,7 +77,7 @@ "tokens", # interface definition "idl", - } +} # List of file names allowed ALLOW_FILE_NAME = { @@ -96,7 +96,7 @@ ".scalafmt.conf", "Cargo.lock", "with_the_same_user", - } +} # List of specific files allowed in relpath to ALLOW_SPECIFIC_FILE = { @@ -108,6 +108,7 @@ # cargo config "rust/runtime/tests/test_wasm32/.cargo/config", "apps/sgx/.cargo/config", + "apps/wasm-standalone/wasm-graph/.cargo/config", # html for demo purposes "web/apps/browser/rpc_server.html", # images are normally not allowed @@ -118,7 +119,7 @@ "docs/_static/css/tvm_theme.css", "docs/_static/img/tvm-logo-small.png", "docs/_static/img/tvm-logo-square.png", - } +} def filename_allowed(name): @@ -159,7 +160,7 @@ def copyright_line(line): if line.find("Copyright " + "(c)") != -1: return True if (line.find("Copyright") != -1 and - line.find(" by") != -1): + line.find(" by") != -1): return True return False @@ -233,5 +234,6 @@ def main(): print("check_file_type.py: all checks passed..") + if __name__ == "__main__": main()