From 00b115d85dcff2ef324115c3b75c57cabdc1039a Mon Sep 17 00:00:00 2001
From: Mario Limonciello <superm1@gmail.com>
Date: Tue, 10 May 2022 10:41:01 -0500
Subject: [PATCH] trivial: don't run check-license on headers in dist/

---
 contrib/ci/check-license.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/contrib/ci/check-license.py b/contrib/ci/check-license.py
index 2bb09855c..5f5b80512 100755
--- a/contrib/ci/check-license.py
+++ b/contrib/ci/check-license.py
@@ -32,6 +32,8 @@ def test_files() -> int:
             continue
         if fn.startswith("subprojects"):
             continue
+        if fn.startswith("dist"):
+            continue
         lic = __get_license(fn)
         if not lic:
             print("{} does not specify a license".format(fn))