projects / platform / upstream / tvm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: a3b600a)
lint: add opencl .cl file type (#6092)
authorZHANG Hao <zhanghao@4paradigm.com>
Mon, 20 Jul 2020 15:49:42 +0000 (23:49 +0800)
committerGitHub <noreply@github.com>
Mon, 20 Jul 2020 15:49:42 +0000 (08:49 -0700)
tests/lint/check_file_type.py patch | blob | history

diff --git a/tests/lint/check_file_type.py b/tests/lint/check_file_type.py
index 08baaf7..1379a50 100644 (file)
--- a/tests/lint/check_file_type.py
+++ b/tests/lint/check_file_type.py
@@ -77,6 +77,8 @@ ALLOW_EXTENSION = {
     "tokens",
     # interface definition
     "idl",
+    # opencl file
+    "cl",
     }
 
 # List of file names allowed
Domain: Machine Learning / ML Framework;