diff --git a/bin/texlint b/bin/texlint index 5d81c6f..ac2d3bd 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",