From 3772dd2404f12915230b91f1bdecd560c4a77d6b 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 08baaf7..1379a50 100644
--- 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
-- 
2.7.4