lint: add opencl .cl file type (#6092)

apache · Jul 20, 2020 · 3772dd2 · 3772dd2
1 parent a3b600a
commit 3772dd2
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tests/lint/check_file_type.py b/tests/lint/check_file_type.py
@@ -77,6 +77,8 @@
     "tokens",
     # interface definition
     "idl",
+    # opencl file
+    "cl",
     }
 
 # List of file names allowed