summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xutil/lint/lint-000-license-headers1
1 files changed, 1 insertions, 0 deletions
diff --git a/util/lint/lint-000-license-headers b/util/lint/lint-000-license-headers
index cc23f1ae2d..9b3553b4a4 100755
--- a/util/lint/lint-000-license-headers
+++ b/util/lint/lint-000-license-headers
@@ -106,6 +106,7 @@ check_for_license 'assumes any liability or responsibility for the use'
check_for_license 'THE AUTHORS DISCLAIM.*ALL WARRANTIES WITH REGARD TO THIS SOFTWARE'
check_for_license 'No license required'
check_for_license 'GNU Lesser General Public'
+check_for_license 'SPDX-License-Identifier:.*GPL-2.0-or-later'
for file in $headerlist; do
# Verify the file exists, and has content that requires a header