From 17cf21cc2a5a79b4e5190b2a809fa3d3b25cc060 Mon Sep 17 00:00:00 2001
From: yj <yjsoh@eng.ucsd.edu>
Date: Mon, 5 Oct 2020 22:28:04 -0700
Subject: [PATCH] Lint for clflushopt

---
 bin/texlint | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bin/texlint b/bin/texlint
index 4613336..934aeb2 100755
--- a/bin/texlint
+++ b/bin/texlint
@@ -133,6 +133,7 @@ class check_macros(Check):
 
         for p in (list(map(use_macro, ["malloc",
                                        "clflush",
+                                       "clflushopt",
                                        "clwb",
                                        "fdatasync",
                                        "fsync",