diff options
Diffstat (limited to 'util/lint/lint-000-license-headers')
| -rwxr-xr-x | util/lint/lint-000-license-headers | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/util/lint/lint-000-license-headers b/util/lint/lint-000-license-headers index ac0b82f438..e6c62b9ad5 100755 --- a/util/lint/lint-000-license-headers +++ b/util/lint/lint-000-license-headers @@ -116,6 +116,12 @@ check_for_license 'SPDX-License-Identifier: X11' # differentiate between this license with or without advertising. check_for_license 'SPDX-License-Identifier: BSD-4-Clause-UC' +# This is the Creative Commons Public Domain Dedication and Certification +# for files that are already in the public domain. This includes files +# that cannot be licensed such as blank files or files with no "creative" +# content. +check_for_license 'SPDX-License-Identifier: CC-PDDC' + for file in $headerlist; do # Verify the file exists, and has content that requires a header # This assumes that a file that has 4 lines or fewer is not notable |