diff options
Diffstat (limited to 'util/lint')
| -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 2f65321a6f..ac0b82f438 100755 --- a/util/lint/lint-000-license-headers +++ b/util/lint/lint-000-license-headers @@ -101,6 +101,7 @@ check_for_license 'SPDX-License-Identifier: GPL-2.0-only' check_for_license 'SPDX-License-Identifier: GPL-2.0-or-later' check_for_license 'SPDX-License-Identifier: GPL-2.0-only WITH Linux-syscall-note' check_for_license 'SPDX-License-Identifier: GPL-3.0-only' +check_for_license 'SPDX-License-Identifier: GPL-3.0-only WITH GCC-exception-3.1' check_for_license 'SPDX-License-Identifier: GPL-3.0-or-later' check_for_license 'SPDX-License-Identifier: HPND' check_for_license 'SPDX-License-Identifier: HPND-sell-variant' |