coreboot-kgpe-d16/util/lint/lint-stable-000-license-hea...

27 lines
1.1 KiB
Bash
Executable File

#!/bin/sh
# SPDX-License-Identifier: GPL-2.0-only
# This file is part of the coreboot project.
#
# DESCR: Check that files have license headers
# Directories requiring SPDX Identifiers only
util/lint/lint-000-license-headers "src/acpi" SPDX_ONLY
util/lint/lint-000-license-headers "src/superio" SPDX_ONLY
util/lint/lint-000-license-headers "src/arch/arm" SPDX_ONLY
util/lint/lint-000-license-headers "src/arch/arm64" SPDX_ONLY
util/lint/lint-000-license-headers "src/arch/ppc64" SPDX_ONLY
util/lint/lint-000-license-headers "src/arch/riscv" SPDX_ONLY
# Top level
util/lint/lint-000-license-headers "src/arch/x86 src/commonlib src/console \
src/cpu src/device src/ec src/mainboard src/northbridge src/soc \
src/southbridge"
# src/drivers
util/lint/lint-000-license-headers "src/drivers/ams src/drivers/aspeed src/drivers/dec src/drivers/elog \
src/drivers/emulation src/drivers/gic src/drivers/ics src/drivers/ipmi src/drivers/maxim \
src/drivers/parade src/drivers/ricoh src/drivers/sil src/drivers/ti src/drivers/usb src/drivers/xgi"
# src/security
util/lint/lint-000-license-headers "src/security/vboot"