From 954a93750399517a4efe92c406a06127dc4d71ea Mon Sep 17 00:00:00 2001
From: ZHANG Hao <zhanghao@4paradigm.com>
Date: Mon, 20 Jul 2020 23:49:42 +0800
Subject: [PATCH] lint: add opencl .cl file type (#6092)

---
 tests/lint/check_file_type.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tests/lint/check_file_type.py b/tests/lint/check_file_type.py
index 08baaf7e29adf..1379a506d0b7c 100644
--- 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