diff options
| -rwxr-xr-x | util/lint/lint-000-license-headers | 1 |
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 |