From bd57e8129ec9c06609307fb61011ddfb5c6233dc Mon Sep 17 00:00:00 2001
From: Simon Pieters <zcorpan@gmail.com>
Date: Mon, 14 May 2018 15:19:43 +0200
Subject: [PATCH] Teach the linter about // META: variant=

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

diff --git a/tools/lint/lint.py b/tools/lint/lint.py
index 41d78da315775b..c1ffd50fb2b6f3 100644
--- a/tools/lint/lint.py
+++ b/tools/lint/lint.py
@@ -666,6 +666,8 @@ def check_script_metadata(repo_root, path, f):
                     errors.append(("UNKNOWN-TIMEOUT-METADATA", "Unexpected value for timeout metadata", path, idx + 1))
             elif key == b"script":
                 pass
+            elif key == b"variant":
+                pass
             else:
                 errors.append(("UNKNOWN-METADATA", "Unexpected kind of metadata", path, idx + 1))
         else: