From 5ef9c8b9630d4200ab098bf499ec00316fedf6f6 Mon Sep 17 00:00:00 2001 From: ZHANG Hao 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 08baaf7e29ad..1379a506d0b7 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