summaryrefslogtreecommitdiff
path: root/src/lib/hw-time-timer.adb
diff options
context:
space:
mode:
authorMichael Niewöhner <foss@mniewoehner.de>2021-09-16 17:56:14 +0200
committerFelix Singer <felixsinger@posteo.net>2021-09-23 22:25:53 +0000
commit90fcffb416c6b104f7e8c32b8013f34ae7a55cc0 (patch)
tree459c45d1a24ddbc8448b768d904352e730aee482 /src/lib/hw-time-timer.adb
parentdea4e0fe683faef0becac4930769693422da5a85 (diff)
kconfig_lint: restrict definition of defaults for choice elements
Defining defaults for symbols used inside choices is not allowed. Add a check for this, so we can drop the existent, overly restrictive checks in the follow-up change. Change-Id: I45bce2633dbd168fceb81ceae9b68621b28526e8 Signed-off-by: Michael Niewöhner <foss@mniewoehner.de> Reviewed-on: https://review.coreboot.org/c/coreboot/+/57715 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Felix Singer <felixsinger@posteo.net> Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'src/lib/hw-time-timer.adb')
0 files changed, 0 insertions, 0 deletions